Recent advances in the development and use of the B method
: proceedings / B'98, Second International B Conference, Montpellier, France, April 22 - 24, 1998. Didier Bert (ed.). - Berlin : Springer, 1998. - VIII, 311 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1393)
ISBN 978-3-540-64405-7 / 3-540-64405-9 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Große-Rhode, Martin: Semantic integration of heterogeneous software specifications
/ Martin Große-Rhode. - Berlin : Springer, 2004. - IX, 327 S. : graph. Darst.; 24 cm
ISBN 978-3-540-40257-2 / 3-540-40257-8 Pp. : EUR 74.85
Quelle: DNB
Software engineering and middleware
: third international workshop ; revised papers / SEM 2002, Orlando, FL, USA, May 20 - 21, 2002. Alberto Coen-Porisini ; André van der Hoek (ed.). - Berlin : Springer, 2003. - XII, 237 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2596)
ISBN 978-3-540-07549-3 / 3-540-07549-6 kart. : EUR 44.94
Literaturangaben
Quelle: DNB
Hooman, Jozef J. M.: Specification and compositional verification of real time systems
/ J. Hooman. - Berlin : Springer, 1991. - VIII, 235 S.; 24 cm - (Lecture notes in computer science; 558)
ISBN 978-3-540-54947-5 / 3-540-54947-1 kart. : DM 39.50
Literaturverz. S. 228 - 235
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2988)
ISBN 978-3-540-24730-2
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ; Andreas Podelski (ed.). - Berlin : Springer, 2004. - XIV, 608 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2988)
ISBN 978-3-540-21299-7 / 3-540-21299-X kart. : EUR 77.04, sfr 127.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 12th international conference ; proceedings / TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Holger Hermanns ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3920)
ISBN 978-3-540-33057-8
Lizenzpflichtig
Quelle: DNB
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino. - Berlin : Springer, 2007. - XXIX, 658 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-68977-5 / 3-540-68977-X kart. : EUR 70.62 (freier Pr.), sfr 117.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.) .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69061-0
Lizenzpflichtig
Quelle: DNB
