Deskribapena: Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings / Karin Breitman, Ana Cavalcanti (eds.).

Summary goes here

Gorde:

Xehetasun bibliografikoak
Formatua:	Liburua
Hizkuntza:	ingelesa
Gaiak:	Formal methods (Computer science) Software engineering Electronic Data Processing Software Méthodes formelles (Informatique) Génie logiciel Logiciels. software. Informatique. Fehlertoleranz Formale Methode Model Checking Programmanalyse Softwaretest Softwareentwicklung Systementwicklung Verifikation Zuverlässigkeit Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Rio de Janeiro (2009)
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Deskribapena
Gaia:	Summary goes here
Alearen deskribapena:	General Notes
Deskribapen fisikoa:	1 online resource (xiv, 758 pages :illustrations
ISBN:	9783642103735 3642103731 3642103723 9783642103728