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

Saved in:

Bibliographic Details
Format:	Book
Language:	English
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:	Add Tag No Tags, Be the first to tag this record!