Liknande böcker

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Collo...
Bok
Theorem Proving in Higher Order Logics : 21st International Conference,...
Bok av David. Hutchison
Principles and practice of constraint programming - CP 2002 : 8th Intern...
Bok av Pascal Van Hentenryck
Trends in Functional Programming : 11th International Symposium, TFP 201...
Bok av Rex. Page
Teaching Formal Methods : Second International Conference, TFM 2009, Ein...
Bok av Jeremy. Gibbons
Automated Technology for Verification and Analysis
Bok av Bernd Finkbeiner
Mathematics of Program Construction : 9th International Conference, MPC...
Bok av David. Hutchison
Rewriting Techniques and Applications : 7th International Conference, RT...
Bok av Harald Ganzinger

Programmentwicklung Und Verifikation

Bok av Gerald Futschek