Erweiterte
Suche ›

Temporal Logic of Programs

Springer Berlin,
Buch
85,55 € Lieferbar in 5-7 Tagen
Details
Schlagworte

Titel: Temporal Logic of Programs
Autoren/Herausgeber: Fred Kröger
Aus der Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Ausgabe: Softcover reprint of the original 1st ed. 1987

ISBN/EAN: 9783642715518

Seitenzahl: 148
Format: 24,4 x 17 cm
Produktform: Taschenbuch/Softcover
Gewicht: 288 g
Sprache: Englisch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht