Hellmich, Thomas: Formale Spezifikation und Leistungsbewertung von Vielfachzugriffsprotokollen in Mobilfunknetzen
/ Thomas Hellmich. - Münster : Lit, 1993. - XV, 215, [24] S. : graph. Darst.; 21 cm - (Uni-Press-Hochschulschriften; 66)
ISBN 978-3-89473-825-9 / 3-89473-825-1 kart. : DM 68.80
Quelle: DNB
Hußmann, Heinrich: Formal foundations for software engineering methods
/ Heinrich Hußmann. - Berlin : Springer, 1997. - X, 286 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1322)
ISBN 978-3-540-63613-7 / 3-540-63613-7 Pp. : DM 66.00
Literaturverz. S. 271 - 277
Quelle: DNB
Formal methods and object technology
/ S. J. Goldsack and S. J. H. Kent (ed.). - London : Springer, 1996. - XVIII, 368 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19977-9 / 3-540-19977-2 kart. : DM 88.00
Literaturverz. S. 336 - 356
Quelle: DNB
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 in human computer interaction
/ Philippe Palanque and Fabio Paternò (ed.). - London : Springer, 1997. - XVII, 376 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76158-7 / 3-540-76158-6 kart. : DM 89.00
Literaturverz. S. 347 - 361
Quelle: DNB
Formal methods in programming and their applications
: international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings / Dines Bjørner ... (ed.). - Berlin : Springer, 1993. - IX, 433 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 735)
ISBN 978-3-540-57316-6 / 3-540-57316-X kart. : DM 80.00
Literaturangaben
Quelle: DNB
Lano, Kevin: Formal object oriented development
/ Kevin Lano. - London : Springer, 1995. - 422 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19978-6 / 3-540-19978-0 kart. : DM 74.00
Literaturverz. S. 318 - 331
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
