Počet záznamů: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
- 1.
SYSNO 0334299 Název On Teaching Formal Methods: Behavior Models and Code Analysis Překlad názvu Výuka formálních metod: Modely chování a analýza kódu Tvůrce(i) Kofroň, Jan (UIVT-O)
Parízek, P. (CZ)
Šerý, O. (CZ)Zdroj.dok. Teaching Formal Methods. S. 144-157. - Berlin : Springer, 2009 / Gibbons J. ; Oliveira J.N. Konference TFM 2009. International Conference Teaching Formal Methods /2./, Eindhoven, 02.11.2009-06.11.2009 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant 1ET400300504 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. DE Klíč.slova formal methods * code analysis * teaching Trvalý link http://hdl.handle.net/11104/0179074
Počet záznamů: 1