Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled

ISBN 10: 0262032708 ISBN 13: 9780262032704
Editorial: MIT Press, 2000
Idioma: Inglés
Mapa Condición: Usado - Como Nuevo Encuadernación de tapa dura

Vendido por Books & Bobs, Deeside, FLINT, Reino Unido

Vendedor de AbeBooks desde 24 de junio de 2022

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


Usado - Encuadernación de tapa dura

Condición: Usado - Como Nuevo

Precio:
EUR 59,20
Envío por EUR 17,18
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito