Comentários: Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.).

Summary goes here

Na minha lista:

Detalhes bibliográficos
Formato:	Livro
Idioma:	inglês
Assuntos:	Formal methods (Computer science) Software engineering Computer programs Computer software Méthodes formelles (Informatique) Génie logiciel Logiciels Informatique. Eingebettetes System Fehlertoleranz Formale Methode Model Checking Programmverifikation Sicherheitskritisches System Softwareentwicklung Softwarespezifikation Systementwurf Verifikation Zuverlässigkeit Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Seja o primeiro a partilhar um comentário!