LEADER 03171nam  22007815  450 
001 9910485022703321
005 20230221231241.0
010   $a3-540-74964-0
024 7 $a10.1007/978-3-540-74964-6
035   $a(CKB)1000000000490520
035   $a(SSID)ssj0000317286
035   $a(PQKBManifestationID)11267294
035   $a(PQKBTitleCode)TC0000317286
035   $a(PQKBWorkID)10305682
035   $a(PQKB)11781732
035   $a(DE-He213)978-3-540-74964-6
035   $a(MiAaPQ)EBC3063347
035   $a(MiAaPQ)EBC6312013
035   $a(PPN)12316513X
035   $a(EXLCZ)991000000000490520
100   $a20100301d2007      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aDomain Modeling and the Duration Calculus $eInternational Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures /$fedited by Chris George, Zhiming Liu, Jim Woodcock
205   $a1st ed. 2007.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007.
215   $a1 online resource (XI, 240 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4710
300   $a"Thoroughly revised tutorial papers based on lectures given ... at the International Training School on Domain Modeling and the Duration Calculus, held ... as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing."
311   $a3-540-74963-2 
320   $aIncludes bibliographical references and index.
327   $aDelivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4710
606   $aSoftware engineering
606   $aComputer systems
606   $aComputer science
606   $aComputer networks
606   $aAlgorithms
606   $aSoftware Engineering
606   $aComputer System Implementation
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer Communication Networks
606   $aAlgorithms
615  0$aSoftware engineering.
615  0$aComputer systems.
615  0$aComputer science.
615  0$aComputer networks.
615  0$aAlgorithms.
615 14$aSoftware Engineering.
615 24$aComputer System Implementation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aComputer Communication Networks.
615 24$aAlgorithms.
676   $a004.33
702   $aGeorge$b Chris$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWoodcock$b Jim$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aICTAC 2007$f(2007 :$eMacau, China)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910485022703321
996   $aDomain Modeling and the Duration Calculus$9772613
997   $aUNINA