Automated technology for verification and analysis
: second international conference : proceedings / ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.). - Berlin : Springer, 2004. - XII, 506 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3299)
ISBN 978-3-540-23610-8 / 3-540-23610-4 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal techniques for networked and distributed systems
: 25th IFIP WG 6.1 international conference ; proceedings / FORTE 2005, Taipei, Taiwan, October 2 - 5, 2005. Farn Wang (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3731)
ISBN 978-3-540-32084-5
Lizenzpflichtig
Quelle: DNB
