Liknande böcker

Theoretical Aspects of Computing - ICTAC 2007
Bok av Cliff B. Jones
Formal Methods for Industrial Critical Systems : 20th International Work...
Bok av Manuel Nunez
Foundations of Software Science and Computation Structures : 18th Intern...
Bok av Andrew. Pitts
Foundations of Software Science and Computation Structures : 17th Intern...
Bok av Anca. Muscholl
Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Si...
Bok av Jacques. Garrigue
Foundations of Software Science and Computational Structures
Bok av Martin. Hofmann
Foundations of Software Science and Computational Structures
Bok av Martin. Hofmann
Verification, Model Checking, and Abstract Interpretation
Bok av Deepak. D’Souza

Unifying Theories of Programming

Bok av David. Naumann