Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation [Texte imprimé] : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (Ed.)

Auteur principal collectivité : International conference on verification, model checking and abstract interpretation, 6, 2005, AuteurAuteur secondaire : : Cousot, Radhia, Editeur scientifiquePublication : Berlin, Heidelberg : Springer, cop. 2005Description : XI-481 p. ; 24 cmISBN : 3-540-24297-X.Collections : Lecture notes in computer science, 3385Bibliographie: Contient des notes bibliogr. Index.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : VERIFICATION ;INTERPRETATION ABSTRAITE ;ANALYSE SEMANTIQUE ;Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
PAR 05 Sur demande CRI05683D

Contient des notes bibliogr. Index

Powered by Koha