Normal view MARC view ISBD view

Computer aided verification [Texte imprimé] : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : proceedings / Ahmed Bouajjani, Oded Maler (eds.)

Auteur principal collectivité : CAV, Conference, 21st, 2009, AuteurAuteur secondaire : : Bouajjani, Ahmed, Editeur scientifique;Maler, Oded, Editeur scientifiquePublication : Berlin, New York : Springer, cop. 2009Description : 1 vol. (XV-722 p.) : ill. ; 24 cmISBN : 3-642-02657-5 ; 978-3-642-02657-7.Collections : Lecture notes in computer science, 5643Classification : F.3 ; D.2.4 ; D.2.2 ; F.4.1 ; I.2.3 ; B.7.2 ; C.3Bibliographie: Notes bibliogr. Index.Sujet - Nom d'actualité : Systèmes informatiques -- Évaluation -- Congrès ;Logiciels -- Vérification Sujet : Système réparti ;Protocole ;Temps réel ;Logiciel ;Preuve ;Parallélisme ;Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
GRE 09 Sur demande CRI06190D

Notes bibliogr. Index

Powered by Koha