Reactive Systems: Modelling, Specification and Verification

Luca Aceto; Anna Ingolfsdottir; Kim G. Larsen; Jiri Srba

ISBN 10: 0521875463 ISBN 13: 9780521875462
Editore: Cambridge University Press, 2007
Lingua: Inglese
Condizione: Usato - Buono Rilegato

Venduto da BookOrders, Russell, IA, U.S.A.

Heritage Bookseller
Venditore AbeBooks dal 4 ottobre 2000

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

Visualizza gli articoli del venditore


Usato - Rilegato

Condizione: Usato - Buono

Prezzo:
EUR 61,24
EUR 3,40 shipping
Spedito in U.S.A.

Quantitą: 1 disponibili

Aggiungere al carrello