Software Verification and Analysis 비슷한 책 더 보기

Tests and Proofs Tests and Proofs
Tests and Proofs
2008년
Tests and Proofs Tests and Proofs
Tests and Proofs
2007년
Tests and Proofs Tests and Proofs
Tests and Proofs
2016년
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2011년
Tests and Proofs Tests and Proofs
Tests and Proofs
2010년
Software Testing Software Testing
Software Testing
2015년
Functional and Constraint Logic Programming Functional and Constraint Logic Programming
Functional and Constraint Logic Programming
2019년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009년
Static Analysis Static Analysis
Static Analysis
2017년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018년
Testing Software and Systems Testing Software and Systems
Testing Software and Systems
2017년
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2014년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2017년
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2008년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2010년