armin biere
Theory and Applications of Satisfiability Testing - SAT 2006
Print on DemandThis book constitutes the refereed proceedings of the 9th International Conference on Theory and ...
Hardware and Software: Verification and Testing
Print on DemandThis book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verifica...
Digitaltechnik - Eine praxisnahe Einführung
Print on DemandSpeziell für Bachelorstudenten entwickelten die Autoren diese Einführung mit vielen auf Anfänger ...
Computer Aided Verification
Print on DemandThis book constitutes the proceedings of the 26th International Conference on Computer Aided Veri...
Tools and Algorithms for the Construction and Analysis of Systems
Print on DemandThis open access two-volume set constitutes the proceedings of the 26th International Conference ...
Tools and Algorithms for the Construction and Analysis of Systems
Print on DemandThis open access two-volume set constitutes the proceedings of the 26th International Conference ...
- 1