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

Diego Latella

ISBN 10: 0792379683 ISBN 13: 9780792379683
Editorial: Springer US, Springer US, 2000
Idioma: Inglés
Nuevos Condición: Neu Encuadernación de tapa dura

Librería: AHA-BUCH GmbH, Einbeck, Alemania

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

Vendedor de AbeBooks desde 14 de agosto de 2006

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa dura

Precio: EUR 223,11 Convertir moneda
EUR 11,99 gastos de envío desde Alemania a España Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito