Введение в формальные методы верификации программ. 2-е изд., испр - book - Vvedenie v formal'nye metody verifikatsii programm. 2-e izd., ispr

Введение в формальные методы верификации программ. 2-е изд., испр

Vvedenie v formal'nye metody verifikatsii programm. 2-e izd., ispr

SKU: VV1492463
ISBN: 9785937003409

Pages: 0
Hardcover
year: 2024
Publicher: ДМК Пресс (DMK Press)

Price: $92.15

ship 24-25

Product Reference
https://www.vasha-kniga.com/productdetail.asp?productid=1492463
Product snapshot as of 12/18/2024
Price and availability are subject to change
2008 Vasha-Kniga.com