Articoli correlati a Verifying Concurrent Processes Using Temporal Logic
Compra usato
Condizioni: molto buono208 Seiten Sofort verfügbar / Versand...
Visualizza questo articolo
EUR 149,99
EUR 9,00 per la spedizione da Germania a Italia
Destinazione, tempi e costi
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
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. book. Codice articolo ERICA82903871120573
Quantità: 1 disponibili