Descripción: Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith.

Summary goes here

Gardado en:

Detalles Bibliográficos
Formato:	Libro
Idioma:	inglés
Subjects:	Computer science. Software engineering. Logic design. Logics and Meanings of Programs. Programming Techniques. Programming Languages, Compilers, Interpreters. Electronic data processing. Formal methods (Computer science) Méthodes formelles (Informatique) Informatique. Génie logiciel. Structure logique. data processing. computer science. COMPUTERS Electronic data processing Computer science Logic design Software engineering Formale Methode Formale Spezifikationstechnik Kongress Model Checking Systementwicklung Verifikation Méthode formelle. Conference papers and proceedings Canterbury (2004)
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!