LEADER 01134nam0-22003491i-450- 001 990002960710403321 005 20070731134946.0 010 $a88-458-0252-3 035 $a000296071 035 $aFED01000296071 035 $a(Aleph)000296071FED01 035 $a000296071 100 $a20030910d2000----km-y0itay50------ba 101 0 $aita 102 $aIT 200 1 $aStatistiche dell'attivitą edilizia$eanno 1998$edati provvisori$fIstituto Nazionale di Statistica$ga cura di Giuliano Rallo 210 $aRoma$cIstat$d2000 215 $a17 p.$d29 cm$e1 floppy disk 225 1 $aInformazioni$fIstat$v6 300 $aIn testa al frontespizio: "Sistema statistico nazionale. Istituto Nazionale di Statistica" 610 0 $aItalia$astatistiche dell'attivitą edilizia$a1998 676 $a363.545 702 1$aRallo,$bGiuliano 710 02$aIstat$0374421 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002960710403321 952 $aCDI-I-06-00-Pos-2$b7387$fMAS 952 $aCDI-I-06b-00-Pos-2$b7395$fMAS 959 $aMAS 996 $aStatistiche dell'attivitą edilizia$9416759 997 $aUNINA LEADER 03703nam 22007575 450 001 9910484369203321 005 20251226202814.0 010 $a3-642-35705-9 024 7 $a10.1007/978-3-642-35705-3 035 $a(CKB)3400000000102947 035 $a(SSID)ssj0000855420 035 $a(PQKBManifestationID)11460046 035 $a(PQKBTitleCode)TC0000855420 035 $a(PQKBWorkID)10928631 035 $a(PQKB)11352183 035 $a(DE-He213)978-3-642-35705-3 035 $a(MiAaPQ)EBC3068794 035 $a(PPN)168329174 035 $a(EXLCZ)993400000000102947 100 $a20130107d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aUnifying Theories of Programming $e4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /$fedited by Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (VIII, 249 p. 4 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7681 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-35704-0 320 $aIncludes bibliographical references and index. 327 $aUnifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U?(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language. 330 $aThis book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7681 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 0$aMachine theory. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 676 $a005.1 701 $aWolff$b Burkhart$01754238 701 $aGaudel$b M.-C$g(Marie-Claude)$01292886 701 $aFeliachi$b Abderrahmane$01754239 712 12$aUTP (Symposium)$d(4th :$f2012 :$eParis, France) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484369203321 996 $aUnifying theories of programming$94190481 997 $aUNINA