Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps 2025, Hamilton, On, Canada, May 3?8, 2025, Proceedings

Gurfinkel, Arie (EDT); Heule, Marjin (EDT)

ISBN 10: 303190642X ISBN 13: 9783031906428
Editorial: Springer, 2025
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por GreatBookPrices, Columbia, MD, Estados Unidos de America

Vendedor de AbeBooks desde 6 de abril de 2009

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 66,80
Envío por EUR 2,31
Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Añadir al carrito