IMP -Scalable Techniques for Formal Verification

(No reviews yet) Write a Review
Uruguayan Peso
$7,572.81
SKU:
9781441959973
Autor:
Sandip Ray
Editorial:
Springer-Verlag New York Inc.
Cover book

Product Overview

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

Titulo: Scalable Techniques for Formal Verification

Formato: Hardback

Autor: Sandip Ray

Editorial: Springer-Verlag New York Inc.

Lenguaje: English

Páginas: 243

ISBN: 9781441959973

Reviews

(No reviews yet) Write a Review