Normal view MARC view ISBD view

Model checking software [Texte imprimé] : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.]

Auteur principal collectivité : International SPIN Workshop, 9th, 2002, AuteurAuteur secondaire : : Bošnački, Dragan, 1963-, Editeur scientifique;Leue, Stefan, Editeur scientifiquePublication : Berlin, Heidelberg, New York : Springer, cop. 2002Description : X-257 p. ; 24 cmISBN : 3-540-43477-1.Collections : Lecture notes in computer science, 2318Dewey: 005.1/4, 21Bibliographie: Includes bibliographical references and index.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
GRE 02 Sur demande CRI04933D

Includes bibliographical references and index

Powered by Koha