Temporal logic and state systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kröger, Fred (VerfasserIn)
Weitere Verfasser:	Merz, Stephan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 2008
Schriftenreihe:	Texts in theoretical computer science
Schlagworte:	Logic, Symbolic and mathematical > Tense (Logic) > Time > Programm > Zustandsraum > Temporale Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XI, 433 S. graph. Darst.
ISBN:	9783540674016 978-3-540-67401-6 9783642086809 978-3-642-08680-9