Conte aos seus amigos sobre este item:
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 Ve Tommaso Bolognesi Softcover Reprint of the Original 1st Ed. 2000 edition
Preço
R$ 1.111,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Tommaso Bolognesi
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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 Ve
Tommaso Bolognesi
423 pages, 3 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 28 de fevereiro de 2013 |
| ISBN13 | 9781475752649 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 423 |
| Dimensões | 155 × 235 × 22 mm · 594 g |
| Idioma | Inglês |
| Editor | Bolognesi, Tommaso |
| Editor | Latella, Diego |
![Cover for Tommaso Bolognesi · LOTOSphere: Software Development with LOTOS (Paperback Book) [Softcover reprint of the original 1st ed. 1995 edition] (2012)](https://imusic.b-cdn.net/images/item/original/241/9781461359241.jpg?tommaso-bolognesi-2012-lotosphere-software-development-with-lotos-paperback-book&class=scaled&v=1604580477)
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2026-the-economics-of-immigration-theory-history-and-policy-population-economics-hardcover-book&class=scaled&v=1780314393)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2026-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-hardcover-book&class=scaled&v=1780314405)
![Cover for Biomedical Engineering Principles in Sports (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2026-biomedical-engineering-principles-in-sports-hardcover-book&class=scaled&v=1788246125)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2026-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-hardcover-book&class=scaled&v=1782130051)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2026-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-hardcover-book&class=scaled&v=1780314416)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Paperback Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2026-an-introduction-to-manifolds-universitext-paperback-book&class=scaled&v=1780314358)
![Cover for Lipases and Phospholipases: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/712/9781071654712.jpg?2026-lipases-and-phospholipases-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788180481)
![Cover for Phloem: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/873/9781071654873.jpg?2026-phloem-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788770129)
![Cover for Leptospira spp.: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/996/9781071654996.jpg?2026-leptospira-spp-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788180585)
![Cover for Vaccinophobia and Vaccine Controversies of the 21st Century (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/637/9781071654637.jpg?2026-vaccinophobia-and-vaccine-controversies-of-the-21st-century-hardcover-book&class=scaled&v=1788180241)
![Cover for Computational Methods and Data Analysis for Metabolomics - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/514/9781071654514.jpg?2026-computational-methods-and-data-analysis-for-metabolomics-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788770131)
![Cover for Cryopreservation and Freeze-Drying Protocols - Methods in Molecular Biology (Hardcover Book) [Fifth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/156/9781071654156.jpg?2026-cryopreservation-and-freeze-drying-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788250154)
![Cover for MicroRNA Target Identification: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/913/9781071653913.jpg?2026-microrna-target-identification-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788244300)
![Cover for Peptide Nucleic Acids: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/678/9781071653678.jpg?2026-peptide-nucleic-acids-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1780314367)
