01000nam a2200253 a 4500 vtls000029357 KUKTEM 20251117145242.0 080610t2008 xxka f 001 0 eng d 9781848210134 201107132058 VLOAD 201009081615 Fida 200908141536 VLOAD 200908141506 VLOAD 200806101255 norsaini UMP QA76.54 .M63 2008 Modeling and verification of real-time systems : formalisms and software tools / edited by Stephen Merz, Nicolas Navet London ; Hoboken, NJ : ISTE/John Wiley, c2008 393 p. : ill. ; 24 cm. Includes bibliograaphical references and index Real-time data processing Computer software Verification Formal methods (Computer science) Merz, Stephen Navet, Nicolas 0 0 0 0 20000 20000 2019-09-04 647.23 0 QA76.54 .M63 2008 0000033857 2019-09-04 00:00:00 1 647.23 2019-09-04 OPEN VIRTUA40 42435 42441 VTLSSORT0080*0200*0400*0900*2450*2600*3000*5040*6500*6501*6502*7000*7001*9991