SPIN model checking and software verification ; proceedings
/ 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Klaus Havelund ... (ed.). - Berlin : Springer, 2000. - X, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1885)
ISBN 978-3-540-41030-0 / 3-540-41030-9 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Static analysis
: 9th international symposium ; proceedings / SAS 2002, Madrid, Spain, September 17 - 20, 2002. M. V. Hermenegildo ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2477)
ISBN 978-3-540-45789-3
Lizenzpflichtig
Quelle: DNB
Static analysis
: 8th international symposium ; proceedings / SAS 2001, Paris, France, July 16 - 18, 2001. P. Cousot (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2126)
ISBN 978-3-540-47764-8
Lizenzpflichtig
Quelle: DNB
Static analysis
: 10th international symposium ; proceedings / SAS 2003, San Diego, CA, USA, June 11 - 13, 2003. Radhia Cousot (ed.). - Berlin : Springer***5108985, 2003. - XIV, 505 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2694)
ISBN 978-3-540-40325-8 / 3-540-40325-6 kart. : EUR 66.34
Literaturangaben
Quelle: DNB
Testing of software and communicating systems
: 20th IFIP TC 6 WG 6.1 international conference ; proceedings / TestCom 2008 ; 8th International Workshop, FATES 2008, Tokyo, Japan, June 10 - 13, 2008. Kenji Suzuki ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5047)
ISBN 978-3-540-68524-1
Lizenzpflichtig
Quelle: DNB
Testing of software and communicating systems
: 19th IFIP TC6/WG6.1 international conference ; proceedings / TestCom 2007 ... Tallin, Estonia, June 26 - 29, 2007. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4581)
ISBN 978-3-540-73066-8
Lizenzpflichtig
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4454)
ISBN 978-3-540-73770-4
Lizenzpflichtig
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ; Bertrand Meyer (ed.). - Berlin : Springer, 2007. - VIII, 216 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4454)
ISBN 978-3-540-73769-8 / 3-540-73769-3 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tests and proofs
: second international conference ; proceedings / TAP 2008, Prato, Italy, April 9 - 11, 2008. Bernhard Beckert ; Reiner Hähnle (ed.). - Berlin : Springer, 2008. - X, 191 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4966)
ISBN 978-3-540-79123-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theoretical and practical aspects of SPIN model checking
: proceedings / 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 ; Toulouse, France, September 21 and 24, 1999. Dennis Dams ... (ed.). - Berlin : Springer, 1999. - X, 276 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1680)
ISBN 978-3-540-66499-4 / 3-540-66499-8 kart. : DM 70.00
Literaturangaben
Quelle: DNB
