Imagen de Portada

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

Detalles Bibliográficos
Otros Autores:	Dwyer
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Association for Computing Machinery (ACM), 5/2/01
Materias:	Conference papers and proceedings.
Acceso en línea:	Full text available on Research4Life (ACM)

Ejemplares similares

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

Spin selling.
por: Rackham, Neil
Publicado: (1988)

Spin selling.
por: Rackham, Neil
Publicado: (1988)

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

Reality Check
por: Linse

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

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