Omslagsbild

Proceedings of the 8th international SPIN workshop on Model checking of software

Bibliografiska uppgifter
Övriga skapare:	Dwyer
Materialtyp:	Elektronisk E-bok
Språk:	engelska
Publicerad:	Association for Computing Machinery (ACM), 5/2/01
Ämnen:	Conference papers and proceedings.
Länkar:	Full text available on Research4Life (ACM)

Liknande verk

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
av: George

Spin selling.
av: Rackham, Neil
Publicerad: (1988)

Spin selling.
av: Rackham, Neil
Publicerad: (1988)

Proceedings of the 8th International Workshop on Modeling in Software Engineering

Reality Check
av: Linse

Tiger Check
av: 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 /
av: Riley, David
Publicerad: (1999)

Check your vocabulary for academic english.
av: Porter, David
Publicerad: (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