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

Precio

$ 209,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

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

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de 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

Softcover Reprint of the Original 1st Ed. 2000 edition

423 pages, 3 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	28 de febrero de 2013
ISBN13	9781475752649
Editores	Springer-Verlag New York Inc.
Páginas	423
Dimensiones	155 × 235 × 22 mm · 594 g
Lengua	Inglés
Editor	Bolognesi, Tommaso
Editor	Latella, Diego