Normal view MARC view ISBD view

Model checking software [ [Texte imprimé]] : 19th international workshop, SPIN 2012 Oxford, UK, July 23-24, 2012 : proceedings ; Alastair Donaldson, David Parker (eds.)

Auteur principal collectivité : SPIN 2012, Model Checking Software, 19, July 23-24, 2012Auteur secondaire : : Donaldson, Alastair, Editeur scientifique;Parker, David, Editeur scientifiquePublication : Berlin, Heidelberg : Springer, cop. 2012Description : 1 vol. (X-261 p.) : fig., graph., tabl. ; 24 cmISBN : 978-3-642-31758-3.Bibliographie: Notes bibliogr. à la fin des articles; Author index p. 261.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Logiciel ;Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
OXF 12 Sur demande CRI06314D

Notes bibliogr. à la fin des articles; Author index p. 261

Powered by Koha