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
Editorial: Springer, 2013
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por Revaluation Books, Exeter, Reino Unido

Vendedor de AbeBooks desde 6 de enero de 2003

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa blanda

Condición: Nuevo

Precio:
EUR 297,29
EUR 14,24 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito