LEADER 01086nam0-2200373---450 
001 990009620530403321
005 20190418152454.0
010   $a978-1-4419-0223-8
035   $a000962053
035   $aFED01000962053
035   $a(Aleph)000962053FED01
035   $a000962053
100   $a20120914d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
105   $aa---a---001yy
200 1 $aVerification and control of hybrid systems$ea symbolic approach$fPaulo Tabuada$gforeword by Rajeev Alur
210   $aDordrecht [etc.]$cSpringer$d2009
215   $axv, 202 p.$cill.$d24 cm
610 0 $aGeometria algebrica
610 0 $aTopologia
610 0 $aTopologia algebrica
610 0 $aSistemi dinamici
610 0 $aFrattali matematici
700  1$aTabuada,$bPaulo$0472360
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990009620530403321
952   $a11-379f$bD.S.F. 9630$fFI1
952   $a02 14 B 25$b107$fFINBN
959   $aFINBN
959   $aFI1
996   $aVerification and control of hybrid systems$9230235
997   $aUNINA