Couverture de Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Name: Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
ISBN: 9783540316220

de E. Allen Emerson, Kedar S. Namjoshi

Langue: Anglais
Parution: 2005
Éditeur: Springer
Pages: 443
ISBN: 9783540316220

Thèmes

Autres éditions (2)

Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Les lecteurs ont aussi aimé

User Acceptance Testing: A Step-By-step Guide

Brian Hambling, Pauline van Goethem

The Master Algorithm How the Quest for the Ultimate Learning Machine Will Remake Our World

Pedro Domingos

Clean Code

Robert C. Martin

Code Complete

Steve McConnell

À lire gratuitement

Couverture de Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Gratuit

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Lijun Zhang, Tomás Vojnar

Couverture de Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Gratuit

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo, Andy Schürr

Gratuit

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Isil Dillig, Serdar Tasiran

Gratuit

Pro Git

Scott Chacon