Proceedings of the 8th international SPIN workshop on Model checking of software
| अन्य लेखक: | |
|---|---|
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Association for Computing Machinery (ACM),
5/2/01
|
| विषय: | |
| ऑनलाइन पहुंच: | Full text available on Research4Life (ACM) |
समान संसाधन
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
Hate Spin
द्वारा: George
द्वारा: George
Spin selling.
द्वारा: Rackham, Neil
प्रकाशित: (1988)
द्वारा: Rackham, Neil
प्रकाशित: (1988)
Spin selling.
द्वारा: Rackham, Neil
प्रकाशित: (1988)
द्वारा: Rackham, Neil
प्रकाशित: (1988)
Proceedings of the 8th International Workshop on Modeling in Software Engineering
Reality Check
द्वारा: Linse
द्वारा: Linse
Tiger Check
द्वारा: Fino
द्वारा: Fino
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
Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Proceedings of the 8th International Workshop on Variability Modelling of Software-Intensive Systems
Science Spin - Early Primary
Science Spin K-1
Check Point Software Technologies Ltd SWOT Analysis
Proceedings of the 8th international workshop on Software quality
Proceedings of the 8th International Conference on Predictive Models in Software Engineering
Proceedings of the 8th International Workshop on Software Specification and Design
Proceedings of the 8th International Workshop on Automation of Software Test
Proceedings of the 8th International Workshop on Social Software Engineering
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)
Check Point Software Technologies Ltd. MarketLine Company Profile
Proceedings of the 6th International Workshop on Modeling in Software Engineering
Proceedings of the 10th International Workshop on Modelling in Software Engineering
Proceedings of the 4th International Workshop on Modeling in Software Engineering
Proceedings of the 5th International Workshop on Modeling in Software Engineering
Proceedings of the 9th International Workshop on Modelling in Software Engineering
Proceedings of the 11th International Workshop on Modelling in Software Engineerings
Proceedings of the International Workshop on Modeling in Software Engineering
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 8th International Workshop on Programming Models and Applications for Multicores and Manycores
Proceedings of the 8th international conference on Software engineering
Proceedings of the 8th Workshop on Emerging Trends in Software Metrics
Proceedings of the 8th International Conference on Computer Modeling and Simulation
Proceedings of the 5th international software process workshop on Experience with software process models
Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing
Proceedings of the 4th international workshop on Predictor models in software engineering
Proceedings of the Seventh International Workshop on Modeling in Software Engineering
Proceedings of the 2008 international workshop on Models in software engineering