Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
| Tác giả khác: | |
|---|---|
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Association for Computing Machinery (ACM),
1/17/05
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Full text available on Research4Life (ACM) |
Những quyển sách tương tự
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Reality Check
Bằng: Linse
Bằng: Linse
Tiger Check
Bằng: Fino
Bằng: Fino
Proceedings of the 8th international SPIN workshop on Model checking of software
Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 6th international conference on System analysis and modeling: about models
Check your vocabulary for computing : workbook for users /
Bằng: Riley, David
Được phát hành: (1999)
Bằng: Riley, David
Được phát hành: (1999)
Check your vocabulary for academic english.
Bằng: Porter, David
Được phát hành: (2008)
Bằng: Porter, David
Được phát hành: (2008)
Abstracts of the 2018 ACM International Conference on Measurement and Modeling of Computer Systems
Modeling, Simulation, and Verification of Space-based Systems III
Modeling, Simulation, and Verification of Space-based Systems II
Interpretations
Bằng: Dougherty
Bằng: Dougherty
Interpretations
Interpretation
Bằng: Wolters
Bằng: Wolters
Proceedings of the 6th International Workshop on Models and Evolution
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems
Abstract Proceedings of the 2023 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems
Refugee Abstracts
Hebrew Abstracts
Dental Abstracts
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Proceedings of the First International Workshop on Multimedia Verification
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Proceedings of the 6th International Workshop on Modeling in Software Engineering
Proceedings of the 6th International COnference
Papers of the Symposium on Interpreters and interpretive techniques
Proceedings of the symposium on Testing, analysis, and verification
Abstracts of the 2019 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems