Computer Aided Verification
€52,89€56,24-5%
Tilapäisesti loppuunmyytyJätä sähköpostiosoitteesi, niin ilmoitamme sinulle heti, kun kirjaa on taas saatavilla, yleensä 3-4 viikon kuluessa.
14 päivän palautustakuuMuutitko mielesi? Voit peruuttaa tilauksesi milloin tahansa tai palauttaa sen 14 päivän kuluessa. Palautusehdot
Tietoa kirjasta
Computer Aided Verification by Rupak Majumdar, Viktor Kunčak.
Published by Springer, (2017), Paperback, 601 pages.
Topics: Computer software, verification.
| Kirjoittaja | Rupak Majumdar |
|---|---|
| Kustantaja | Springer International Publishing AG |
| Julkaistu | 2017 m. |
| Kieli | Englanti |
| Sivumäärä | 601 psl. |
| Sidosasu | Pehmeäkantinen |
| Painos | 1st ed. 2017 |
| ISBN | 9783319633862 |