armin biere
Theory and Applications of Satisfiability Testing - SAT 2006
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 9th International Conference on Theory and ...
Hardware and Software: Verification and Testing
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verifica...
Digitaltechnik - Eine praxisnahe Einführung
TaschenbuchPrint on DemandRezensionAus den Rezensionen:'. Dieses Buch bringt sowohl die notwendige Theorie als auch...
Computer Aided Verification
TaschenbuchPrint 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
TaschenbuchPrint 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
TaschenbuchPrint on DemandThis open access two-volume set constitutes the proceedings of the 26th International Conference ...
- 1