logics and meanings of programs Kitapları
Bu türde 11 kitap
Theory and Applications of Satisfiability Testing – SAT 2013
Matti Järvisalo
Evaluation of Novel Approaches to Software Engineering
Leszek A. Maciaszek
Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Sci
Markus Holzer
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi
Reliable Software Technologies – Ada-Europe 2013
Hubert B. Keller
Web Services and Formal Methods
Maurice H. Beek
Foundations of Software Science and Computational Structures
Lars Birkedal
Hardware and Software: Verification and Testing
Armin Biere
Data Engineering and Management
Rajkumar Kannan
Inductive Logic Programming
Stephen H. Muggleton
Assurances for Self-Adaptive Systems
Javier Cámara