Imagem da capa

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

Detalhes bibliográficos
Outros Autores:	Dwyer
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Association for Computing Machinery (ACM), 5/2/01
Assuntos:	Conference papers and proceedings.
Acesso em linha:	Full text available on Research4Life (ACM)

Registos relacionados

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 em: (1988)

Spin selling.
Por: Rackham, Neil
Publicado em: (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 em: (1999)

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