Latella diego editor (2 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (Editor)/ Gnesi, Stefania (Editor)/ Latella, Diego (Editor)/ Treharne, Helen (Editor)
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2012
3642307280 / 9783642307287
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 80,06
EUR 14,54 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2012 edition. 372 pages. 9.25x6.10x0.84 inches. In Stock.
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 1013, 2000, Pisa, Italy (IFIP Advances in Information and Communication Technology)
Bolognesi, Tommaso (Editor) / Latella, Diego (Editor)
Lingua: Inglese
Editore: Springer, 2013
1475752644 / 9781475752649
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 302,07
EUR 14,54 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 432 pages. 9.25x6.10x0.97 inches. In Stock.