Suchfeld einblenden
Person Davies, Jim
2 Treffer
Seite < 1 >
Formal methods and software engineering
: proceedings / 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004. Jim Davies ... (ed.). - Berlin : Springer, 2004. - XIII, 500 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3308)
ISBN 978-3-540-23841-6 / 3-540-23841-7 : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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
Seite < 1 >
