Normal view MARC view ISBD view

SIGSOFT 2004/FSE-12 : twelfth ACM SIGSOFT international symposium on the foundations of software engineering : october 31 - november 5, 2004, Newport Beach, California, USA / ed. by Matthew Dwyer

Publication : New York : ACM, 2004Description : VIII-276 p. : Ill. ; 28 cmISSN : 0163-5948.Sujet : ANALYSE SEMANTIQUE ;FIABILITE ;GENIE LOGICIEL ;LANGAGE C ;LANGAGE C++ ;REUTILISATION DE LOGICIEL ;VERIFICATION ;Modèl Checking ;Théorie des Types
Current location Call number Status Date due Barcode
Centre de recherche en informatique
NEW 04 Sur demande CRI05699D

Notes bibliogr. Index

Powered by Koha