Hardware and software, verification and testing
: revised selected papers / Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23 - 26, 2006. Eyal Bin ... (ed.). - Berlin : Springer, 2007. - XII, 234 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4383)
ISBN 978-3-540-70888-9 / 3-540-70888-X kart. : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Hardware and software, verification and testing
: revised selected papers / Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23 - 26, 2006. Eyal Bin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4383)
ISBN 978-3-540-70889-6
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2999)
ISBN 978-3-540-24756-2
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - XI, 540 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2999)
ISBN 978-3-540-21377-2 / 3-540-21377-5 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Integrated formal methods
: 6th international conference ; proceedings / IFM 2007, Oxford, UK, July 2 - 5, 2007. Jim Davies ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4591)
ISBN 978-3-540-73210-5
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 5th international conference ; proceedings / IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Judi Romijn ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3771)
ISBN 978-3-540-32240-5
Lizenzpflichtig
Quelle: DNB
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - VIII, 659 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3472 : Tutorial)
ISBN 978-3-540-26278-7 / 3-540-26278-4 kart. : EUR 73.83 (freier Pr.), sfr 122.00 (freier Pr.)
Literaturverz. S. 617 - 651
Quelle: DNB Verlagsmeldungen
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3472)
ISBN 978-3-540-32037-1
Lizenzpflichtig
Quelle: DNB
Model checking and artificial intelligence
: 4th workshop ; revised selected and invited papers / MoChArt IV, Riva del Garda, Italy, August 29, 2006. Stefan Edelkamp ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4428 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74128-2
Lizenzpflichtig
Quelle: DNB
Quintarelli, Elisa: Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - XVI, 134 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2917)
ISBN 978-3-540-20971-3 / 3-540-20971-9 kart. : EUR 40.66 (freier Pr.), sfr 69.50
Literaturverz. S. 129 - 134
Quelle: DNB Verlagsmeldungen
