Foundations of information and knowledge systems
: third international symposium ; proceedings / FoIKS 2004, Wilheminenburg Castle, Austria, February 17 - 20, 2004. Dietmar Seipel ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2942)
ISBN 978-3-540-24627-5
Lizenzpflichtig
Quelle: DNB
Foundations of information and knowledge systems
: third international symposium ; proceedings / FoIKS 2004, Wilheminenburg Castle, Austria, February 17 - 20, 2004. Dietmar Seipel ; José María Turull-Torres (ed.). - Berlin : Springer, 2004. - X, 319 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2942)
ISBN 978-3-540-20965-2 / 3-540-20965-4 kart. : EUR 49.22 (freier Pr.), sfr 84.00
Literaturangaben
Quelle: DNB Verlagsmeldungen
Foundations of information and knowledge systems
: 4th international symposium ; proceedings / FoIKS 2006, Budapest, Hungary, February 14 - 17, 2006. Jürgen Dix ; Stephen J. Hegner (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3861)
ISBN 978-3-540-31784-5
Lizenzpflichtig
Quelle: DNB
From object orientation to formal methods
: essays in memory of Ole-Johan Dahl / Olaf Owe ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2635)
ISBN 978-3-540-39993-3
Lizenzpflichtig
Quelle: DNB
From object orientation to formal methods
: essays in memory of Ole-Johan Dahl / Olaf Owe ... (ed.). - Berlin : Springer, 2004. - X, 388 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; 2635)
ISBN 978-3-540-21366-6 / 3-540-21366-X kart. : EUR 51.36, sfr 85.00
Bibliogr. S. 8 - 14
Quelle: DNB Verlagsmeldungen
Keller, Jörg: Hardware-Design
: formaler Entwurf digitaler Schaltungen / Jörg Keller ; Wolfgang J. Paul. - 3., durchges. Aufl. - Stuttgart : Teubner, 2005. - 399 S. : graph. Darst.; 24 cm - (Teubner-Texte zur Informatik; Bd. 15)
ISBN 978-3-519-23047-2 / 3-519-23047-X kart. : EUR 49.90
Literaturverz. S. 389 - 391
Quelle: DNB Verlagsmeldungen
High integrity system specification and design
/ Jonathon P. Bowen and Michael G. Hinchey. - London : Springer, 1999. - XIX, 701 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76226-3 / 3-540-76226-4 kart. : DM 195.00
Literaturangaben
Quelle: DNB
Industrial applications and strengthened foundations of formal methods
: proceedings / FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997. John Fitzgerald ... (ed.). - Berlin : Springer, 1997. - XIII, 684 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1313)
ISBN 978-3-540-63533-8 / 3-540-63533-5 kart. : DM 130.00
Literaturangaben
Quelle: DNB
Industrial benefit and advances in formal methods
: proceedings / FME '96, Third International Symposium of Formal Methods Europe, Oxford, UK, March 18 - 22, 1996. Marie-Claude Gaudel ; James Woodcock (ed.). Co-sponsored by IFIP WG 14.3. - Berlin : Springer, 1996. - XII, 704 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1051)
ISBN 978-3-540-60973-5 / 3-540-60973-3 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Industrial benefit of formal methods
: proceedings / FME '94, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Maurice Naftalin ... (ed.). - Berlin : Springer, 1994. - XI, 723 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 873)
ISBN 978-3-540-58555-8 / 3-540-58555-9 kart. : DM 134.00
Literaturangaben
Quelle: DNB
