LEADER 00917nmm a2200253 i 4500
001 991000525109707536
007 cr nn 008mamaa
008 090611s2009    us         j        eng d
020   $a9781441902245
035   $ab13870282-39ule_inst
040   $aDip.to Matematica$beng
100 1 $aTabuada, Paulo$0472360
245 10$aVerification and control of hybrid systems$h[e-book] :$bA symbolic approach /$cby Paulo Tabuada
260   $aBoston, MA :$bSpringer,$c2009
300   $bv.: digital
650  0$aComputer science
650  0$aSystems theory
773 0 $aSpringer eBooks
856 40$uhttp://dx.doi.org/10.1007/978-1-4419-0224-5$zAn electronic book accessible through the World Wide Web
907   $a.b13870282$b03-03-22$c14-01-10
912   $a991000525109707536
996   $aVerification and control of hybrid systems$9230235
997   $aUNISALENTO
998   $ale013$b14-01-10$cm$d@  $e-$feng$gus $h0$i0