Adding temporal logic to INA JO

Bibliographische Detailangaben

Hauptverfasser:	Wing, Jeannette M. 1956- (VerfasserIn), Nixon, Mark R. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Pittsburgh, Pa. 1985
Schriftenreihe:	Carnegie-Mellon University <Pittsburgh, Pa.> / Computer Science Department: CMU-CS 85,146
Schlagworte:	INA JO (Computer program language)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!