Verification of Sequential and Concurrent Programs

Krzysztof R. Apt|Frank S. de Boer|Ernst-Rüdiger Olderog

ISBN 10: 1447125134 ISBN 13: 9781447125136
Editorial: Springer London, 2012
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por moluna, Greven, Alemania

Vendedor de AbeBooks desde 9 de julio de 2020

Calificación del vendedor: 4 de 5 estrellas Valoración 4 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 72,89
EUR 48,99 gastos de envío desde Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito