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

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	Englisch
Schlagworte:	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:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!