Verification, Model Checking, and Abstract Interpretation- 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings
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
-
Lecture CM1-CM2Les Légendaires Tome 8101 Hotel- Lobbies, bars et restaurants.Le Japoscope 2001PDU et développement durable- Guide méthodologiqueLa régulation des médias et ses standards juridiquesUne paix pour l'éternité- La négociation du traité du Cateau-CambrésisUn jardin pour les abeilles- 80 plantes pour attirer bourdons, abeilles sauvages et domestiquesGestion Pôle 1 - 2e Bac Pro Gestion-Administration- Livre du professeurMartine, un amour de poney