Beskrivelse: 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

Saved in:

Bibliografiske detaljer
Format:	Bog
Sprog:	engelsk
Fag:	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)
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Beskrivelse
Summary:	Summary goes here
Emne beskrivelse:	General Notes
Fysisk beskrivelse:	1 online resource (xiv, 758 pages :illustrations
ISBN:	9783642103735 3642103731 3642103723 9783642103728