Definitions- und Beweisprinzipien für Daten und Prozesse = Definition and proof principles for data and processes

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hensel, Ulrich (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	1998
Schlagworte:	Algebraische Spezifikation Automatisches Beweisverfahren Spezifikationssprache Verifikation Datentyp Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge