Liknande böcker

Formal Methods and Software Engineering : 19th International Conference...
Bok av Zhenhua Duan
Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz
Formal Aspects of Component Software : 12th International Conference, FA...
Bok av Christiano Braga
Verified Software: Theories, Tools, and Experiments : 7th International...
Bok av Arie Gurfinkel
Runtime Verification : 6th International Conference, RV 2015, Vienna, Au...
Bok av Ezio Bartocci
Logic for Programming, Artificial Intelligence, and Reasoning : 20th Int...
Bok av Martin Davis
Logic-Based Program Synthesis and Transformation : 26th International Sy...
Bok av Manuel V Hermenegildo
Automated Technology for Verification and Analysis : 14th International...
Bok av Cyrille Artho

Grand Timely Topics in Software Enginee

Bok av Jacome Cunha