Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)

Kurshan, Robert P. and R. P. Kurshan

ISBN 10: 0691034362 ISBN 13: 9780691034362
Editore: Princeton University Press 06.02.1995., 1995
Lingua: Inglese
Condizione: Usato - Molto buono Rilegato

Venduto da NEPO UG, Rüsselsheim am Main, Germania

Venditore AbeBooks dal 15 novembre 2018

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato - Rilegato

Condizione: Usato - Molto buono

Prezzo:
EUR 36,19
EUR 24,00 per la spedizione da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello