IMP -Automated Theorem Proving in Software Engineering

(No reviews yet) Write a Review
Internacional
$128.34
SKU:
9783540679899
Autor:
Johann M. Schumann
Editorial:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cover book

Product Overview

Importante: Este libro es importado y podría tener una demora de 30 días.

Titulo: Automated Theorem Proving in Software Engineering

Formato: Hardback

Autor: Johann M. Schumann

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Lenguaje: English

Páginas: 228

ISBN: 9783540679899

Reviews

(No reviews yet) Write a Review