High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu
Download - Immediately Available
Format: eBook (PDF)
Loop Transformations for Restructuring Compilers : The Foundations
Utpal Banerjee
Download - Immediately Available
Format: eBook (PDF)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download - Immediately Available
Format: eBook (PDF)
Debugging at the Electronic System Level
Frank Rogin
Download - Immediately Available
Format: eBook (PDF)