Computer-Aided Verification of Coordinating Processes

Robert P. Kurshan

ISBN 10: 0691634890 ISBN 13: 9780691634890
Editore: Princeton University Press, US, 2016
Lingua: Inglese
Condizione: Nuovo Rilegato

Venduto da Rarewaves USA, OSWEGO, IL, U.S.A.

Venditore AbeBooks dal 10 giugno 2025

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

Visualizza gli articoli del venditore


Nuovi - Rilegato

Condizione: Nuovo

Prezzo:
EUR 191,42
Gratis per la spedizione in U.S.A.

Quantità: Più di 20 disponibili

Aggiungere al carrello