Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch
ISBN: 0387562834
[SR: 18528241], Paperback, [EAN: 9780387562834], Springer Verlag, Springer Verlag, Book, [PU: Springer Verlag], Springer Verlag, This monograph is concerned with the application of tempor… Mehr…
amazon.com |
Specifying Message Passing and Time-Critical Systems With Temporal Logic - Taschenbuch
1992, ISBN: 9780387562834
Springer-Verlag, 1992. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. , 3… Mehr…
Biblio.com |
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch
1992, ISBN: 9780387562834
Paperback, New book, Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., [PU: Springer-Verlag]
alibris.com |
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch
2001, ISBN: 0387562834
22,9 x 15,2 x 1,3 cm, Taschenbuch Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek gebraucht; sehr gut, [PU:Springer-Verlag,]
Achtung-Buecher.de Mosakowski & Stiasny GbR Frank Stiasny, 61197 Florstadt Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch
2001, ISBN: 9780387562834
22,9 x 15,2 x 1,3 cm, Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek Versand D: 2,90 EUR, [PU:Springer-Verlag,]
buchfreund.de |
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch
ISBN: 0387562834
[SR: 18528241], Paperback, [EAN: 9780387562834], Springer Verlag, Springer Verlag, Book, [PU: Springer Verlag], Springer Verlag, This monograph is concerned with the application of tempor… Mehr…
Ron Koymans:
Specifying Message Passing and Time-Critical Systems With Temporal Logic - Taschenbuch1992, ISBN: 9780387562834
Springer-Verlag, 1992. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. , 3… Mehr…
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch
1992
ISBN: 9780387562834
Paperback, New book, Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., [PU: Springer-Verlag]
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch
2001, ISBN: 0387562834
22,9 x 15,2 x 1,3 cm, Taschenbuch Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek gebraucht; sehr gut, [PU:Springer-Verlag,]
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch
2001, ISBN: 9780387562834
22,9 x 15,2 x 1,3 cm, Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek Versand D: 2,90 EUR, [PU:Springer-Verlag,]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science)
EAN (ISBN-13): 9780387562834
ISBN (ISBN-10): 0387562834
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Verlag
Buch in der Datenbank seit 2018-03-31T19:11:50+02:00 (Zurich)
Detailseite zuletzt geändert am 2018-10-10T15:14:53+02:00 (Zurich)
ISBN/EAN: 0387562834
ISBN - alternative Schreibweisen:
0-387-56283-4, 978-0-387-56283-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: logic computer science
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540475064 Specifying Message Passing and Time-Critical Systems with Temporal Logic (Ron Koymans)
< zum Archiv...