Formal methods in databases and software engineering : proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15 - 16 May 1992

Konferenzschrift | Kongress

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540198123 ; 3540198121 ; 9780387198125 ; 0387198121
• Maße: 24 cm
• Umfang: VI, 191 S.
• Sprache: Englisch
• Anmerkungen: Literaturangaben

Klassifikation und Themen

• Schlagwort: Datenbank ; Formale Spezifikationstechnik ; Software Engineering ; Formale Spezifikationstechnik

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong, Barcelona, Budapest
• (wer): Springer
• (wann): 1993
• Beteiligte Personen und Organisationen: Alagar, Vangalur S. ; Workshop on Formal Methods in Databases and Software Engineering (1992 : Montréal)

Weitere Informationen

• Inhaltsverzeichnis: https://d-nb.info/931584310/04
• Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Letzte Aktualisierung: 11.06.2025, 13:42 MESZ