Home
Guide to Software Verification with Frama-C by Nikolai Kosmatov, Hardcover | Indigo Chapters
Loading Inventory...
Guide to Software Verification with Frama-C by Nikolai Kosmatov, Hardcover | Indigo Chapters
From Nikolai Kosmatov
Current price: $102.50
![Guide to Software Verification with Frama-C by Nikolai Kosmatov, Hardcover | Indigo Chapters](https://dynamic.indigoimages.ca/books/9783031556074.jpg?scaleup=true&width=600&quality=85&lang=en)
![Guide to Software Verification with Frama-C by Nikolai Kosmatov, Hardcover | Indigo Chapters](https://dynamic.indigoimages.ca/books/9783031556074.jpg?scaleup=true&width=600&quality=85&lang=en)
From Nikolai Kosmatov
Guide to Software Verification with Frama-C by Nikolai Kosmatov, Hardcover | Indigo Chapters
Current price: $102.50
Loading Inventory...
Size: 1 x 9.25 x 1
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
Core Components, Usages, and Applications | Guide to Software Verification with Frama-C by Nikolai Kosmatov, Hardcover | Indigo Chapters