Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)
ISBN 978-3-540-47238-4
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)
ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: third international symposium ; proceedings / ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3707)
ISBN 978-3-540-31969-6
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)
ISBN 978-3-540-88387-6
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 5th international symposium ; proceedings / ATVA 2007, Tokyo, Japan, October 22 - 25, 2007. Kedar S. Namjoshi ... (ed.). - Berlin : Springer, 2007. - XIV, 566 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4762)
ISBN 978-3-540-75595-1 / 3-540-75595-0 kart. : EUR 72.76 (freier Pr.), ca. sfr 118.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods for the design of real time systems
: revised lectures / International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004. Marco Bernardo ; Flavio Corradini (ed.). - Berlin : Springer, 2004. - VI, 293 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3185 : Tutorial)
ISBN 978-3-540-23068-7 / 3-540-23068-8 kart. : EUR 49.22 (freier Pr.), sfr 84.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal modeling and analysis of timed systems
: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Ed.: Kim G. Larsen .... - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [2791])
ISBN 978-3-540-40903-8
Titel aus Metadaten. - Lizenzpfichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Kim G. Larsen ; Peter Niebert (ed.). - Berlin : Springer, 2004. - VIII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2791)
ISBN 978-3-540-21671-1 / 3-540-21671-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal modeling and analysis of timed systems
: 6th international conference ; proceedings / FORMATS 2008, Saint Malo, France, September 15 - 17, 2008. Franck Cassez ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5215)
ISBN 978-3-540-85778-5
Lizenzpflichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: 5th international conference ; proceedings / FORMATS 2007, Salzburg, Austria, October 3 - 5, 2007. Jean-François Raskin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4763)
ISBN 978-3-540-75454-1
Lizenzpflichtig
Quelle: DNB
