Pehmekaaneline
Handbook of Finite State Based Models and Applications
€90,81
Tarne 3-4 nädalaga
Teavita
Formal Methods in Computer Science
€233,73€234,99-0%
Praegu otsasJätke oma e-posti aadress ja anname teile teada, kui raamat on taas saadaval. Tavaliselt kulub selleks 3-4 nädalat.
14-päevane tagastusgarantiiMuutsid meelt? Tellimuse saad igal ajal tühistada või 14 päeva jooksul tagastada. Tagastustingimused
Raamatust
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
| Autor | Jiacun Wang |
|---|---|
| Kirjastus | Taylor & Francis Ltd |
| Ilmumisaasta | 2019 m. |
| Keel | inglise |
| Lehekülgi | 294 psl. |
| Köide | Kõvakaaneline |
| Žanr | Kunst ja disain |
| ISBN | 9780367225704 |
