Formal methods for components and objects
: first international symposium ; revised lectures / FMCO 2002, Leiden, The Netherlands, November 5 - 8, 2002. Frank S. de Boer ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2852)
ISBN 978-3-540-39656-7
Lizenzpflichtig
Quelle: DNB
Formal methods for components and objects
: third international symposium ; revised lectures / FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004. Frank S. de Boer ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3657)
ISBN 978-3-540-31939-9
Lizenzpflichtig
Quelle: DNB
Formal methods for components and objects
: second international symposium ; revised lectures / FMCO 2003, Leiden, The Netherlands, November 4 - 7, 2003. Frank S. de Boer ... (ed.). - Berlin : Springer, 2004. - VIII, 371 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3188 : Tutorial)
ISBN 978-3-540-22942-1 / 3-540-22942-6 kart. : EUR 52.43 (freier Pr.), sfr 87.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods for computational systems biology
: advanced lectures / 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008. Marco Bernardo ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5016)
ISBN 978-3-540-68894-5
Lizenzpflichtig
Quelle: DNB
Formal methods for computational systems biology
: advanced lectures / 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008. Marco Bernardo ... (ed.). - Berlin : Springer, 2008. - X, 523 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5016 : Tutorial)
ISBN 978-3-540-68892-1 kart. : EUR 60.99 (freier Pr.), sfr 95.00 (freier Pr.)
Literaturangaben
Quelle: DNB
Formal methods for hardware verification
: advanced lectures / 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006. Marco Bernardo ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3965)
ISBN 978-3-540-34305-9
Lizenzpflichtig
Quelle: DNB
Formal methods for increasing software productivity
: proceedings / FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001. José Nuno Oliveira ; Pamela Zave (ed.). - Berlin : Springer, 2001. - XIII, 628 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2021)
ISBN 978-3-540-41791-0 / 3-540-41791-5 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Formal methods for increasing software productivity
: proceedings / FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001. J. N. Oliveira ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2021)
ISBN 978-3-540-45251-5
Lizenzpflichtig
Quelle: DNB
Formal methods for industrial applications
/ Jean-Raymond Abrial ... (ed.). - Berlin : Springer, 1996. - VI, 509 S. : graph. Darst.; 24 cm
ISBN 978-3-540-61929-1 : DM 98.00
Literaturangaben
Quelle: DNB
Formal methods for industrial critical systems
: 12th international workshop ; revised selected papers / FMICS 2007, Berlin, Germany, July 1 - 2, 2007. Stefan Leue ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4916)
ISBN 978-3-540-79707-4
Lizenzpflichtig
Quelle: DNB
