Formal methods for components and objects
: 4th international symposium ; revised lectures / FMCO 2005, Amsterdam, The Netherlands, November 1 - 4, 2005. Frank S. de Boer ... (ed.). - Berlin : Springer, 2006. - VIII, 427 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4111)
ISBN 978-3-540-36749-9 / 3-540-36749-7 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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 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
Formal methods for performance evaluation
: advanced lectures / 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007. Marco Bernardo ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4486)
ISBN 978-3-540-72522-0
Lizenzpflichtig
Quelle: DNB
Formal methods for software architectures
: advanced lectures / Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003. Marco Bernardo ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2804)
ISBN 978-3-540-39800-4
Lizenzpflichtig
Quelle: DNB
Formal program development
: IFIP TC 2/WG 2.1 state of the art report / IFIP. Bernhard Möller ... (ed.). - Berlin : Springer, 1993. - 371 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 755)
ISBN 978-3-540-57499-6 / 3-540-57499-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2002, 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. Didier Bert ... (ed.). - Berlin : Springer, 2002. - XII, 534 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2272)
ISBN 978-3-540-43166-4 / 3-540-43166-7 kart. : EUR 64.20
Literaturangaben
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 2000. - XIV, 510 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1878)
ISBN 978-3-540-67944-8 / 3-540-67944-8 kart. : DM 114.00
Literaturangaben
Quelle: DNB
