Altre edizioni note dello stesso titolo
Risultati della ricerca per Verifying Concurrent Processes Using Temporal Logic
Foto dell'editore
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Editore:
Springer-Verlag, 1982
ISBN 10: 0387112057
ISBN 13: 9780387112053
Antico o usato
Taschenbuch
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Gut. 208 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 183042
Compra usato
EUR 149,99
Spedizione EUR 24,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA82903871120573
Compra usato
EUR 333,68
Spedizione EUR 28,82
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili