SOFSEM 2018: Theory and Practice of Computer Science Plus de livres similaires
SOFSEM 2016: Theory and Practice of Computer Science
2016
SOFSEM 2017: Theory and Practice of Computer Science
2017
Computer Aided Verification
2017
Verification, Model Checking, and Abstract Interpretation
2023
Tools and Algorithms for the Construction and Analysis of Systems
2019
Computer Aided Verification
2015
Automated Technology for Verification and Analysis
2015
Computer Aided Verification
2017
Tools and Algorithms for the Construction and Analysis of Systems
2016
Dependable Software Engineering. Theories, Tools, and Applications
2017
Automated Technology for Verification and Analysis
2019
Tools and Algorithms for the Construction and Analysis of Systems
2018
Theory and Practice of Natural Computing
2017
Dependable Software Engineering: Theories, Tools, and Applications
2016
Perspectives of System Informatics
2016