Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676]

Libro 86 di 260: The Springer International Series in Engineering and Computer Science

Juan, Eric Y. T.; Tsai, Jeffrey J.-P.

ISBN 10: 140207025X ISBN 13: 9781402070259
Editore: Kluwer Academic Publishers, Boston., 2002
Lingua: Inglese
Condizione: Usato - Molto buono Rilegato

Venduto da Tiber Books, Cockeysville, MD, U.S.A.

Heritage Bookseller
Venditore AbeBooks dal 17 settembre 1997

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

Visualizza gli articoli del venditore


Usato - Rilegato

Condizione: Usato - Molto buono

Prezzo:
EUR 82,66
EUR 4,69 shipping
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello