Assunto: Computer science
- Foundations of Software Science and Computation Structures
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- The Amazing Journey of Reason
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
Assunto: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
- Foundations of Software Science and Computation Structures
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification