|
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12078)
by
0.00 avg rating — 0 ratings
|
|
|
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... Notes in Computer Science Book 7857)
by
0.00 avg rating — 0 ratings
|
|
|
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, ... Notes in Computer Science Book 8559)
by
0.00 avg rating — 0 ratings
|
|
|
Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications
by
0.00 avg rating — 0 ratings
|
|
|
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications
by
0.00 avg rating — 0 ratings
|
|
|
Symbolic Model Checking without BDDs
by
0.00 avg rating — 0 ratings
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Ireland, April 25-30, 2020, Proceedings,
by
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12079)
by
0.00 avg rating — 0 ratings
|
|
|
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch)
by
0.00 avg rating — 0 ratings
—
published
2008
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
by
0.00 avg rating — 0 ratings
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
by
0.00 avg rating — 0 ratings
|
|
|
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch)
by
0.00 avg rating — 0 ratings
|
|
|
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science, 8559)
by
0.00 avg rating — 0 ratings
—
published
2014
—
3 editions
|
|
|
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
by
0.00 avg rating — 0 ratings
—
published
2013
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science, 4121)
by
0.00 avg rating — 0 ratings
—
published
2006
—
4 editions
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.