B 2007: formal specification and development in B
: proceedings / 7th International Conference of B Users, Besançon, France, January 17 - 19, 2007. Jacques Julliand ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4355)
ISBN 978-3-540-68761-0
Lizenzpflichtig
Quelle: DNB
Lano, Kevin: The B language and method
: a guide to practical formal development / K. Lano. - London : Springer, 1996. - 232 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76033-7 / 3-540-76033-4 kart. : DM 78.00
Literaturverz. S. 199 - 202
Quelle: DNB
Fiadeiro, José Luiz: Categories for software engineering
/ José Luiz Fiadeiro. - Berlin : Springer, 2005. - XII, 250 S. : graph. Darst.; 24 cm
ISBN 978-3-540-20909-6 / 3-540-20909-3 Pp. : EUR 53.45
Literaturverz. S. 237 - 243
Quelle: DNB Verlagsmeldungen
Formal methods and software engineering
: proceedings / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ; Jim Woodcock (ed.). - Berlin : Springer, 2003. - XI, 681 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2885)
ISBN 978-3-540-20461-9 / 3-540-20461-X kart. : EUR 79.18
Literaturangaben
Quelle: DNB
Formal methods and software engineering
: proceedings / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2885)
ISBN 978-3-540-39893-6
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21 - 25, 2002. C. George ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2495)
ISBN 978-3-540-36103-9
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4260)
ISBN 978-3-540-47462-3
Lizenzpflichtig
Quelle: DNB
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
Formal methods applications and technology
: 11th international workshop and 5th international workshop ; revised selected papers / FMICS 2006, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4346)
ISBN 978-3-540-70951-0 / 3-540-70951-7 kart. : EUR 55.64 (freier Pr.), sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods: applications and technology
: revised selected papers / 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4346)
ISBN 978-3-540-70952-7
Lizenzpflichtig
Quelle: DNB
