Komentáře: 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

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	angličtina
Témata:	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)
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!