Počet záznamů: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
SYS 0334299 LBL 02432^^^^^2200277^^^450 005 20240103192601.4 014 $a 000278101900009 $2 WOS 017 7-
$a 10.1007/978-3-642-04912-5_10 $2 DOI 100 $a 20091222d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a On Teaching Formal Methods: Behavior Models and Code Analysis 215 $a 14 s. 463 -1
$1 001 cav_un_epca*0334297 $1 010 $a 978-3-642-04911-8 $1 200 1 $a Teaching Formal Methods $f red. J. Gibbons, J.N. Oliveira $v S. 144-157 $1 210 $a Berlin $c Springer $d 2009 $1 225 $a Lecture Notes in Computer Science $v 5846 $1 702 1 $a Gibbons $b J. $4 340 $1 702 1 $a Oliveira $b J.N. $4 340 541 1-
$a Výuka formálních metod: Modely chování a analýza kódu $z cze 610 0-
$a formal methods 610 0-
$a code analysis 610 0-
$a teaching 700 -1
$3 cav_un_auth*0214387 $a Kofroň $b Jan $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0241132 $a Parízek $b P. $y CZ 701 -1
$3 cav_un_auth*0074744 $a Šerý $b O. $y CZ $4 070
Počet záznamů: 1