Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18¿22, 2021, Proceedings

Vijay Ganesh

ISBN 10: 3030888843 ISBN 13: 9783030888848
Editorial: Springer International Publishing, 2021
Idioma: Inglés
Nuevos Condición: Neu Encuadernación de tapa blanda

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 blanda

Precio: EUR 80,24 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