LEADER 03027nam  2200577 a 450 
001 9910484369203321
005 20200520144314.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   $a20130116d2013      uy         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 /$fBurkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)
205   $a1st ed. 2013.
210   $aHeidelberg $cSpringer$d2013
215   $a1 online resource (VIII, 249 p. 4 illus.)
225  0$aLecture notes in computer science,$x0302-9743 ;$v7681
225  0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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 programming$vCongresses
615  0$aComputer programming
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