Liknande böcker

Hardware and Software: Verification and Testing : 12th International Hai...
Bok av Roderick Bloem
Hardware and Software: Verification and Testing : 11th International Hai...
Bok av Nir Piterman
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Information Security : 16th International Conference, ISC 2013, Dallas,...
Bok av Yvo Desmedt
Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz
Computer Aided Verification : 29th International Conference, CAV 2017, H...
Bok av Rupak Majumdar
Functional and Logic Programming : 13th International Symposium, FLOPS 2...
Bok av Oleg Kiselyov
Verified Software: Theories, Tools, and Experiments : 7th International...
Bok av Arie Gurfinkel

Hardware and Software: Verification and Testing

Bok av Ofer Strichman