Verification, Model Checking, and Abstract Interpretation- 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings

Verification, Model Checking, and Abstract Interpretation- 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings - Neil D. Jones | Showmesound.org PDF, TXT, FB2. ePUB. MOBI. Le livre a été écrit en 2021. Cherchez un livre sur showmesound.org.

INFORMATION

AUTEUR
Neil D. Jones
DIMENSION
4,14 MB
NOM DE FICHIER
Verification, Model Checking, and Abstract Interpretation- 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings.pdf
ISBN
1115448480783

DESCRIPTION

Create lists, bibliographies and reviews: or Search WorldCat. Find ... Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings.

Proceedings. Editors (view affiliations) Radhia Cousot; Conference proceedings VMCAI 2005.

LIVRES CONNEXES