Liknande böcker

Foundations of Software Science and Computational Structures
Bok av Martin. Hofmann
Foundations of Software Science and Computation Structures : 18th Intern...
Bok av Andrew. Pitts
Formal Modeling and Analysis of Timed Systems
Bok av Axel. Legay
Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, AS...
Bok av Omar Jaradat
Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Confer...
Bok av Cristian S. Calude
Verification, Model Checking, and Abstract Interpretation : 19th Interna...
Bok av Isil Dillig
Verification, Model Checking, and Abstract Interpretation : 15th Interna...
Bok av Kenneth L. McMillan
Verification, Model Checking, and Abstract Interpretation : 18th Interna...
Bok av Ahmed Bouajjani

Verification, Model Checking, and Abstract Interpretation

Bok av Deepak. D’Souza