Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Tool support for the formal specification method Z - A survey Jochen Burghardt; Robert Gabriel. GMD-Forschungszentrum Informationstechnik GmbH. [Verantw. für dieses H.: Peter Behr] von Burghardt, Jochen [aut] Gabriel, Robert [aut] Reihen: ; 1024 \| GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1024 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Sankt Augustin GMD-Publ.-Vertrieb 1996 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) St Augustin GMD Arbeitspapier Nr. 1024. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen Robert Gabriel von Gabriel, Robert [aut] Reihen: ; 25600 \| GMD-Forschungszentrum Informationstechnik GMD-Bericht ; 256 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: München Wien Oldenbourg 1995 Hochschulschriftenvermerk: Zugl.: Berlin, Techn. Univ., Diss., 1995 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) St Augustin GMD Bericht (Nr. 256). Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche