LEADER 04316nam  22007695  450 
001 996465958703316
005 20230405224947.0
010   $a3-540-75221-8
024 7 $a10.1007/978-3-540-75221-9
035   $a(CKB)1000000000490576
035   $a(SSID)ssj0000317701
035   $a(PQKBManifestationID)11258693
035   $a(PQKBTitleCode)TC0000317701
035   $a(PQKBWorkID)10308469
035   $a(PQKB)11083056
035   $a(DE-He213)978-3-540-75221-9
035   $a(MiAaPQ)EBC3061703
035   $a(MiAaPQ)EBC6711206
035   $a(Au-PeEL)EBL6711206
035   $a(OCoLC)184982145
035   $a(PPN)123165350
035   $a(EXLCZ)991000000000490576
100   $a20100301d2007      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods and Hybrid Real-Time Systems$b[electronic resource] $eEssays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /$fedited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
205   $a1st ed. 2007.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007.
215   $a1 online resource (XVI, 542 p.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4700
300   $aPapers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing.
311   $a3-540-75220-X 
320   $aIncludes bibliographical references and index.
327   $aModels and Software Model Checking of a Distributed File Replication System -- From ?Formal Methods? to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants with DISCOVERER and QEPCAD -- Harnessing rCOS for Tool Support ?The CoCoME Experience -- Automating Verification of Cooperation, Control, and Design in Traffic Applications -- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus -- Relating Domain Concepts Intensionally by Ordering Connections -- Programmable Messaging for Electronic Government - Building a Foundation -- Balancing Insight and Effort: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing -- Semantics and Verification of a Language for Modelling Hardware Architectures -- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems -- Compensable Programs -- Deriving Specifications for Systems That Are Connected to the Physical World -- Engineering the Development of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming and Specification Languages -- Design in CommUnity with Extension Morphisms -- Symbolic Test Generation Using a Temporal Logic with Constrained Events -- Expansive-Bisimulation for Context-Free Processes -- VDM Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications -- Services as a Paradigm of Computation.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4700
606   $aSoftware engineering
606   $aComputer science
606   $aComputer engineering
606   $aComputer networks
606   $aMachine theory
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer Engineering and Networks
606   $aFormal Languages and Automata Theory
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aMachine theory.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aComputer Engineering and Networks.
615 24$aFormal Languages and Automata Theory.
676   $a004.33
702   $aJones$b C. B$g(Cliff B.),$f1944-
702   $aLiu$b Zhiming$f1961-
702   $aWoodcock$b Jim
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465958703316
996   $aFormal Methods and Hybrid Real-Time Systems$9774296
997   $aUNISA