Piteşti | Biblioteca Universităţii |

Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking

LDR:00934nam 2200229 001 39175
009 ubfixit050.016 Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking\\ DRUSINSKY, Doron\
010 $a 0-7506-7949-2 $d 195.47
010 $a 978-0-7506-7949-7
020 $b 2007/4
100 $a 20141203d $a 19112007u m u1rumy50 ba
101 0 $a eng
200 0 $a Modeling and Verification Using UML Statecharts $f Doron Drusinsky $b *Carte tipărită $e A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
210 # # $a U.S.A. $d 2006 $c Elsevier $L s3582
215 $a xii, 308 p.: il. $d 23 cm. $e 1 CD
300 $a Bibliogr. la p. 295-301
300 $a Conţine 1 CD
345 $b 2007/240
606 $3 90030 $a Calculatoare
606 $3 93709 $a Programe de calculatoare
606 $3 93710 $a Software
675 $a 004.4
679 $a 004 $d 0
700 $3 25039 $a Drusinsky $b Doron
801 0 $a RO $b UPIT $c 20141202 $g unimarc
850 $a UPIT
852 # # $j 004 / D 85