Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
| その他の著者: | |
|---|---|
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Association for Computing Machinery (ACM),
1/23/11
|
| 主題: | |
| オンライン･アクセス: | Full text available on Research4Life (ACM) |
類似資料
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Reality Check
著者:: Linse
著者:: Linse
Tiger Check
著者:: Fino
著者:: 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 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 12th International Conference on Computer Modeling and Simulation
Proceedings of the 12th System Analysis and Modelling Conference
Check your vocabulary for computing : workbook for users /
著者:: Riley, David
出版事項: (1999)
著者:: Riley, David
出版事項: (1999)
Check your vocabulary for academic english.
著者:: Porter, David
出版事項: (2008)
著者:: Porter, David
出版事項: (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
著者:: Dougherty
著者:: Dougherty
Interpretations
Interpretation
著者:: Wolters
著者:: Wolters
CHI '12 Extended Abstracts on Human Factors in Computing Systems
Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
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
Proceedings of the 12th Workshop on OCL and Textual Modelling
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 12th international conference on Supercomputing
Papers of the Symposium on Interpreters and interpretive techniques
Proceedings of the The 12th International Conference on Predictive Models and Data Analytics in Software Engineering
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
Abstracts of the 2020 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems