LEADER 00936cam0-2200349---450- 001 990005805210403321 005 20090406144753.0 010 $a88-359-3566-0 035 $a000580521 035 $aFED01000580521 035 $a(Aleph)000580521FED01 035 $a000580521 100 $a19990604d1992----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aDante reazionario$fEdoardo Sanguineti 210 $aRoma$cEditori Riuniti$d1992 215 $aX, 289 p.$d22 cm 225 1 $a<>studi$iLetteratura 610 0 $aAlighieri, Dante 676 $a851.1 700 1$aSanguineti,$bEdoardo$f<1930-2010>$039564 801 0$aIT$bUNINA$c20050427$gRICA$2UNIMARC 901 $aBK 912 $a990005805210403321 952 $a851.1 DANTE/S 98$fFLFBC 952 $aF.Russo Dante/s 82$fBAT 959 $aFLFBC 959 $aBAT 996 $aDante reazionario$9142609 997 $aUNINA LEADER 01178nam--2200385---450- 001 990000332560203316 010 $a3-7643-5805-X 035 $a0033256 035 $aUSA010033256 035 $a(ALEPH)000033256USA01 035 $a0033256 100 $a20010201d1998----km-y0itay0103----ba 101 $aeng 102 $aDE 105 $a||||||||001yy 200 1 $aConvex integration theory$esolutions to the h-principle in geometry and topology$fDavid Spring 210 $aBasel$cBirkhauser Verlag$dc1998 215 $aVIII, 212 p.$cill.$d20 cm 225 2 $aMonographs in mathematics$v92 410 $12001$aMonographs in mathematics$v92 461 1$1001-------$12001 610 0 $aTopologia differenziale 676 $a514.72 700 1$aSPRING,$bDavid$061876 801 0$aIT$bsalbc$gISBD 912 $a990000332560203316 951 $a510 MIM (92)$b0025533 CBS$c510$d00103245 959 $aBK 969 $aSCI 979 $aPATTY$b90$c20010201$lUSA01$h1337 979 $aALANDI$b90$c20011211$lUSA01$h0848 979 $c20020403$lUSA01$h1641 979 $aPATRY$b90$c20040406$lUSA01$h1623 996 $aConvex integration theory$9374783 997 $aUNISA LEADER 03582nam 22006975 450 001 9910298563803321 005 20200706104300.0 010 $a3-319-07512-8 024 7 $a10.1007/978-3-319-07512-9 035 $a(CKB)3710000000119167 035 $a(DE-He213)978-3-319-07512-9 035 $a(SSID)ssj0001237493 035 $a(PQKBManifestationID)11818041 035 $a(PQKBTitleCode)TC0001237493 035 $a(PQKBWorkID)11258326 035 $a(PQKB)10776850 035 $a(MiAaPQ)EBC3092072 035 $a(PPN)178784869 035 $a(EXLCZ)993710000000119167 100 $a20140512d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aABZ 2014: The Landing Gear Case Study $eCase Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings /$fedited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XII, 161 p. 47 illus.) 225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v433 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-07511-X 320 $aIncludes bibliographical references and index. 327 $aFormal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation. 330 $aThis volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation. 410 0$aCommunications in Computer and Information Science,$x1865-0929 ;$v433 606 $aComputer logic 606 $aMathematical logic 606 $aComputers 606 $aComputer simulation 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputers. 615 0$aComputer simulation. 615 14$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputation by Abstract Devices. 615 24$aSimulation and Modeling. 676 $a005.1015113 702 $aBoniol$b Frederic$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWiels$b Virginie$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAit Ameur$b Yamine$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchewe$b Klaus-Dieter$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910298563803321 996 $aABZ 2014: The Landing Gear Case Study$92215720 997 $aUNINA