Rajaa
Hakutulokset: Kirjoja kirjailijalta Sean Safarpour
Rajaa
yhteensä 2 hakutulosta
Finding Your Way Through Formal Verification
nidottu,
2018,
englanti,
ISBN 9781986274111
There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for …
Formal Methods in Automated Design Debugging
pokkari,
2010,
englanti,
ISBN 9783639245738