Analysis and verification of multiple agent languages
: selected papers / 5th LOMAPS Workshop, Stockholm, Sweden, June 24 - 26, 1996 / Mads Dam (ed.). - Berlin : Springer, 1997. - VIII, 434 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1192)
ISBN 978-3-540-62503-2 / 3-540-62503-8 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Applied semantics
: advanced lectures / G. Barthe ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2395)
ISBN 978-3-540-45699-5
Lizenzpflichtig
Quelle: DNB
Bradley, Aaron R.: The calculus of computation
: decision procedures with applications to verification / Aaron R. Bradley ; Zohar Manna. - Berlin : Springer, 2007. - XV, 365 S. : graph. Darst.; 24 cm
ISBN 978-3-540-74112-1 / 3-540-74112-7 Pp. : EUR 37.40, ca. sfr 61.00
Quelle: DNB Verlagsmeldungen
Concurrency, graphs and models
: essays dedicated to Ugo Montanari on the occasion of his 65th birthday / Pierpaolo Degano ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5065)
ISBN 978-3-540-68679-8
Lizenzpflichtig
Quelle: DNB
Cooke, John: Constructing correct software
: the basics / John Cooke. - London : Springer, 1998. - XIII, 395 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76156-3 / 3-540-76156-X kart. : DM 89.00
Quelle: DNB
Hohlfeld, Bernhard: Einführung in die Programmverifikation
: Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL / von Bernhard Hohlfeld und Werner Struckmann. - Mannheim : BI-Wiss.-Verl., 1992. - 300 S.; 21 cm - (Reihe Informatik; Bd. 88)
ISBN 978-3-411-15971-0 / 3-411-15971-5 kart. : DM 38.00
Literaturverz. S. 287 - 295
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)
ISBN 978-3-540-45236-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2006, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006. Jayadev Misra ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4085)
ISBN 978-3-540-37216-5
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3582)
ISBN 978-3-540-31714-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - XVII, 942 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2805)
ISBN 978-3-540-40828-4 / 3-540-40828-2 kart. : EUR 98.44 (freier Pr.), sfr 153.00
Literaturangaben
Quelle: DNB
