KOBV Portal

Book

Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 ; revised selected papers (2011)

Calinescu, Radu C., 1968- ; Monterey Workshop 16 2010 Redmond, Wash.

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV039102322

Format: XII, 238 S. : , Ill., graph. Darst. ; , 24 cm.

ISBN: 978-3-642-21291-8 , 3-642-21291-3

Series Statement: Lecture notes in computer science 6662

Note: Literaturangaben

Additional Edition: Erscheint auch als Online-Ausgabe Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Software Engineering ; Formale Methode ; Adaptives System ; Verifikation ; Theoretische Informatik ; Programmierung ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Calinescu, Radu C., 1968-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

TU Berlin

Online Resource

Calinescu, Radu C. [Sonstige] 1968- ; Monterey Workshop 16 2010 Redmond, Wash.

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV039141881

Format: 1 Online-Ressource (XII, 238 S.) , Ill., graph. Darst. , 24 cm

ISBN: 9783642212918 , 9783642212925

Series Statement: Lecture notes in computer science 6662

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Software Engineering ; Formale Methode ; Adaptives System ; Verifikation ; Theoretische Informatik ; Programmierung ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-642-21292-5

URL: Volltext

URL: Volltext (lizenzpflichtig)

Author information: Calinescu, Radu C. 1968-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

BTU Cottbus

Online Resource

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers (2011)

Calinescu, Radu. [editor.] ; Jackson, Ethan. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947364400402882

Format: 250 p. 102 illus., 35 illus. in color. , online resource.

ISBN: 9783642212925

Series Statement: Lecture Notes in Computer Science, 6662

Content: This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and business-critical applications to improve dependability and robustness and to ensure information privacy and security.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783642212918

Language: English

DOI: 10.1007/978-3-642-21292-5

URL: http://dx.doi.org/10.1007/978-3-642-21292-5

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Book

Calinescu, Radu C. [Sonstige] 1968- ; Monterey Workshop 16 2010 Redmond, Wash.

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV039102322

Format: XII, 238 S. , Ill., graph. Darst. , 24 cm

ISBN: 9783642212918 , 3642212913

Series Statement: Lecture notes in computer science 6662

Note: Literaturangaben

Additional Edition: Erscheint auch als Online-Ausgabe Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Software Engineering ; Formale Methode ; Adaptives System ; Verifikation ; Theoretische Informatik ; Programmierung ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Calinescu, Radu C. 1968-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

Foundations of computer software : modeling, development, and verification of adaptive systems ; revised selected papers (2011)

Calinescu, Radu C. ; Monterey Workshop (16 : 2010 : Redmond, Wash.) 16 Redmond, Wash.

Berlin [u.a.] : Springer-Verlag

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB15366864

Format: XII, 238 Seiten , Ill., graph. Darst. , 24 cm

ISBN: 9783642212918 , 3642212913

Series Statement: Lecture notes in computer science 6662

Note: Literaturangaben , Text engl.

Language: English

Keywords: Software Engineering ; Formale Methode ; Adaptives System ; Verifikation ; Kongress ; Redmond 〈Wash., 2010〉 ; Theoretische Informatik ; Programmierung ; Kongress ; Redmond 〈Wash., 2010〉 ; Kongress ; Konferenzschrift

URL: http://d-nb.info/1011273543/04

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=3719730&prov=M&dok_var=1&dok_ext=htm

Author information: Calinescu, Radu C.

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

hits 1 - 5 | 5 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg