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

Bewaard in:

Bibliografische gegevens
Formaat:	Boek
Taal:	Engels
Onderwerpen:	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:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Wees de eerste die reageert!