Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18¿22, 2021, Proceedings
Vijay Ganesh
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 14 de agosto de 2006
Nuevos - Encuadernación de tapa blanda
Cantidad disponible: 1 disponibles
Añadir al carrito