Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

ISBN 10: 3031556070 ISBN 13: 9783031556074
Editorial: Springer, 2024
Idioma: Inglés
Condición: Usado - Aceptable Encuadernación de tapa dura

Vendido por Marlton Books, Bridgeton, NJ, Estados Unidos de America

Vendedor de AbeBooks desde 1 de julio de 2025

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 - Aceptable

Precio:
EUR 37,16
Envío por EUR 2,63
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito