Abstrakte Datentypen und temporale Logik ein kombinierter Spezifikationsansatz

Zugl.: München, Univ., Diss. : 1994

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Leßke, Frank (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Aachen Shaker 1995
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Hochschulschrift > Abstrakter Datentyp > Algebraische Spezifikation > Temporale Logik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!