Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)

Penczek, Wojciech; Pólrola, Agata

ISBN 10: 3540328696 ISBN 13: 9783540328698
Editorial: Springer, 2006
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa dura

Vendido por Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Vendedor de AbeBooks desde 22 de julio 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


Nuevos - Encuadernación de tapa dura

Condición: Nuevo

Precio:
EUR 159,92
EUR 3,46 gastos de envío en Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito