Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8) - Hardcover

Kröger, Fred

 
9783540170303: Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8)
Hardcover
ISBN 10: 3540170308 ISBN 13: 9783540170303
Verlag: Springer, 1987
Verlag
Springer
Erscheinungsdatum
1987
Sprache
Englisch
ISBN 10 
3540170308
ISBN 13 
9783540170303
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
156
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387170305: Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)

Vorgestellte Ausgabe

ISBN 10:  0387170308 ISBN 13:  9780387170305
Hardcover