Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
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 …