Liknande böcker

Advances in Smalltalk : 14th International Smaltalk Conference, ISC 2006...
Bok av Wolfgang. Meuter
Object-Oriented Technology. ECOOP 2007 Workshop Reader
Bok av Michael. Cebulla
ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paph...
Bok av David. Hutchison
Theorem Proving in Higher Order Logics : 21st International Conference,...
Bok av David. Hutchison
Formal Methods and Software Engineering (vol. # 4260) : 8th Internationa...
Bok av Zhiming. Liu
25 Years of Model Checking
Bok av Orna. Grumberg
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer...
Bok av S. Arun-Kumar
Model Checking Software : 14th International SPIN Workshop, Berlin, Germ...
Bok av Dragan. Bošnački

Static Analysis

Bok av Kwangkeun. Yi