{"product_id":"9783540752202","title":"Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science) \u003cVol. 4700\u003e","description":"\u003cp\u003eModels 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48766076584171,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9783540752202","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}