Integrated formal methods
: third international conference ; proceedings / IFM 2002, Turku, Finland, May 15 - 18, 2002. M. Butler ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2335)
ISBN 978-3-540-47884-3
Lizenzpflichtig
Quelle: DNB
Rigorous development of complex fault tolerant systems
/ Michael Butler ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4157)
ISBN 978-3-540-48267-3
Lizenzpflichtig
Quelle: DNB