Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings ; Kenneth L. McMillan, Xavier Rival (eds.)

Auteur principal collectivité : VMCAI 2014, 15th, January 19-21, 2014, AuteurAuteur secondaire : : McMillan, Kenneth L., Editeur scientifique;Rival, Xavier, Editeur scientifiquePublication : Berlin : Springer, cop. 2014Description : 1 vol. (XVII-491 p.) : ill. ; 24 cmISBN : 978-3-642-54012-7.Bibliographie: Notes bibliogr. Index.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Logiciel ;Interprétation abstraite ;Analyse statique ;Analyse de pointeurs ;Nombre flottant ;Terminaison
Current location Call number Status Date due Barcode
Centre de recherche en informatique
DIE 14 Sur demande CRI06358D

Notes bibliogr. Index

Powered by Koha