Počet záznamů: 1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I
SYS 0436568 LBL 00240nx^^^22001213^^450 005 20210804104118.7 010 $a 978-3-662-45233-2 011 $a 0302-9743 100 $a 20141201aczey0103 ba 102 $a DE 110 $a a 200 1-
$a Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I 210 $a Berlin $c Springer $d 2014 225 $a Lecture Notes in Computer Science $v 8802 702 -1
$a Margaria $b T. $4 340 702 -1
$a Steffen $b B. $4 340 801 $a CZ $b CAV $c 20141201
Počet záznamů: 1