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
Formal techniques for networked and distributed systems
: 22nd IFIP WG 6.1 international conference ; proceedings / FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.). - Berlin : Springer, 2002. - XI, 368 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2529)
ISBN 978-3-540-00141-6 / 3-540-00141-7 kart. : EUR 55.64
Literaturangaben
Quelle: DNB
Formal techniques for networked and distributed systems
: 22nd IFIP WG 6.1 international conference ; proceedings / FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. D. A. Peled (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2529)
ISBN 978-3-540-36135-0
Lizenzpflichtig
Quelle: DNB
