Automated Technology for Verification and Analysis
Doron A. Peled, Yih-Kuen Tsay
Automated Technology for Verification and Analysis - 2005
978-3-540-31969-6
Computer Communication Networks
Logics and Meanings of Programs
Software Engineering
Special Purpose and Application-Based Systems
Computer-Aided Engineering (CAD, CAE) and Design
Programming Languages, Compilers, Interpreters
Computer Science
Automated Technology for Verification and Analysis - 2005
978-3-540-31969-6
Computer Communication Networks
Logics and Meanings of Programs
Software Engineering
Special Purpose and Application-Based Systems
Computer-Aided Engineering (CAD, CAE) and Design
Programming Languages, Compilers, Interpreters
Computer Science