Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings ; Neil D. Jones, Markus Müller-Olm (eds.)

Auteur principal collectivité : VMCAI 2009, 10th, January 18-20, 2009, AuteurAuteur secondaire : : Jones, Neil D., Editeur scientifique;Müller-Olm, Markus, ....-...., Editeur scientifiquePublication : Berlin : Springer, cop. 2009Description : 1 vol. (XI-381 p.) : ill. ; 24 cmISBN : 978-3-540-93899-6 ; 3-540-93899-0.Bibliographie: Notes bibliogr. Index.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Logiciel ;Interprétation abstraite ;Shape analysis ;Terminaison ;Langage JAVA ;Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
SAV 09 Sur demande CRI06354D

Notes bibliogr. Index

Powered by Koha