Liknande böcker

Formal Methods and Software Engineering (vol. # 4260) : 8th Internationa...
Bok av Zhiming. Liu
Mathematics of Program Construction : 9th International Conference, MPC...
Bok av David. Hutchison
Model Checking Software : 15th International SPIN Workshop, Los Angeles,...
Bok av David. Hutchison
Programming Languages and Systems : 17th European Symposium on Programmi...
Bok av Sophia. Drossopoulou
Software Composition : 7th International Symposium, SC 2008, Budapest, H...
Bok av Cesare. Pautasso
Trustworthy Global Computing
Bok av Gilles. Barthe
Advances in Smalltalk : 14th International Smaltalk Conference, ISC 2006...
Bok av Wolfgang. Meuter
Algebraic Methodology and Software Technology : 12th International Confe...
Bok av David. Hutchison

25 Years of Model Checking

Bok av Orna. Grumberg