Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

Hailpern B., T.:

ISBN 10: 3540112057 ISBN 13: 9783540112051
Editore: Springer, 2008
Lingua: Inglese
Condizione: Usato - Buono Brossura

Venduto da Studibuch, Stuttgart, Germania

Venditore AbeBooks dal 24 aprile 2018

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

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Buono

Prezzo:
EUR 6,99
Spedizione EUR 80,70
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello