Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10 13, 2000, Pisa, Italy (IFIP Advances in Information and Communication Technology)

Bolognesi, Tommaso (Editor) / Latella, Diego (Editor)

ISBN 10: 1475752644 ISBN 13: 9781475752649
Editore: Springer, 2013
Lingua: Inglese
Condizione: Nuovo Brossura

Venduto da Revaluation Books, Exeter, Regno Unito

Venditore AbeBooks dal 6 gennaio 2003

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

Visualizza gli articoli del venditore


Nuovi - Brossura

Condizione: Nuovo

Prezzo:
EUR 298,07
EUR 14,24 shipping
Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Aggiungere al carrello