Tommaso Bolognesi
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

Name: 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
Price: 209.99 USD
Availability: OutOfStock
Author: Tommaso Bolognesi

Price

$ 209.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 7

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

423 pages, 3 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	February 28, 2013
ISBN13	9781475752649
Publishers	Springer-Verlag New York Inc.
Pages	423
Dimensions	155 × 235 × 22 mm · 594 g
Language	English
Editor	Bolognesi, Tommaso
Editor	Latella, Diego