The imperative future principles of executable temporal logic

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Barringer, Howard (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Taunton, Somerset, England Research Studies Press u.a. 1996
Schriftenreihe:	Advanced software development series 4
Schlagworte:	Temporal Logic (Computer program language) > Logic programming languages > Algorithmische Programmierung > Temporale Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!