Todos2 B. Berard lançamentos em Paperback Book e Hardcove...
Categorias
Outro
Atendimento ao cliente
EUR
![Cover for B. Berard · Systems and Software Verification: Model-Checking Techniques and Tools (Paperback Book) [Softcover reprint of hardcover 1st ed. 2001 edition] (2010)](https://imusic.b-cdn.net/images/item/original/783/9783642074783.jpg?b-berard-2010-systems-and-software-verification-model-checking-techniques-and-tools-paperback-book&class=scaled&v=1623584282)
![Cover for B. Berard · Systems and Software Verification: Model-Checking Techniques and Tools (Hardcover Book) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/237/9783540415237.jpg?b-berard-2001-systems-and-software-verification-model-checking-techniques-and-tools-hardcover-book&class=scaled&v=1608970911)