Formal modeling and analysis of timed systems
: third international conference ; proceedings / FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005. Paul Pettersson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3829)
ISBN 978-3-540-31616-9
Lizenzpflichtig
Quelle: DNB
Formal modelling in electronic commerce
/ Steven O. Kimbrough ; D. J. Wu. - Berlin : Springer, 2005. - XII, 562 S. : graph. Darst.; 24 cm - (International handbooks on information systems)
ISBN 978-3-540-21431-1 / 3-540-21431-3 Pp. : EUR 96.25 (freier Pr.), sfr 152.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal models of agents
: selected papers / ESPRIT Project Model Age Final Workshop. John-Jules Ch. Meyer ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1760 : Lecture notes in artificial intelligence)
ISBN 978-3-540-46581-2
Lizenzpflichtig
Quelle: DNB
Formal models of agents
: selected papers / ESPRIT Project Model Age Final Workshop. John-Jules Ch. Meyer ; Pierre-Yves Schobbens (ed.). - Berlin : Springer, 2000. - VIII, 251 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1760 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67027-8 / 3-540-67027-0 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Bollig, Benedikt: Formal models of communicating systems
: languages, automata, and monadic second-order logic ; with 6 tables / Benedikt Bollig. - Berlin : Springer, 2006. - IX, 181 S. : graph. Darst.; 24 cm
ISBN 978-3-540-32922-0 / 3-540-32922-6 Pp. : EUR 53.45 (freier Pr.), ca. sfr 85.00 (freier Pr.)
Literaturverz. S, 165 - 171
Quelle: DNB Verlagsmeldungen
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 power series and algebraic combinatorics
: 12th international conference ; proceedings / FPSAC '00, Moscow, Russia, June 2000. Daniel Krob ... (ed.). - Berlin : Springer, 2000. - XIV, 808 S. : graph. Darst.; 24 cm
ISBN 978-3-540-67247-0 / 3-540-67247-8 Pp. : DM 198.00
Literaturangaben
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 software development methods
/ VDM '91, Noordwijkerhout, The Netherlands, October 21 - 25, 1991. S. Prehn ; H. Toetenel (ed.). - Berlin : Springer, 1991. - XIV, 430 S. : graph. Darst. - (Lecture notes in computer science; Vol. 552)
ISBN 978-3-540-54868-3 / 3-540-54868-8 kart. : DM 61.00
Quelle: DNB
Formal software development methods
/ VDM '91, Noordwijkerhout, The Netherlands, October 21 - 25, 1991. S. Prehn ; H. Toetenel (ed.). - Berlin : Springer, 1991. - XII, 698 S. : graph. Darst. - (Lecture notes in computer science; Vol. 551)
ISBN 978-3-540-54834-8 / 3-540-54834-3 kart. : DM 102.00
Quelle: DNB
