The Object-Z specification language

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Smith, Graeme (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston, Dordrecht, London Kluwer Academic Publishers 2000
Schriftenreihe:	Advances in formal methods 1
Schlagworte:	Object-oriented programming (Computer science) > Z (Computer program language) > Spezifikationssprache > Objektorientierte Programmierung > Objektorientierte Programmiersprache > Z
Online Zugang:	Inhaltstext Publisher description Table of contents only
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturverzeichnis: Seite 143
Beschreibung:	xiii, 146 Seiten Illustrationen 24 cm
ISBN:	0792386841 0-7923-8684-1 9780792386841 978-0-7923-8684-1