- 0 Results
Lowest price: € 75.99, highest price: € 132.78, average price: € 101.68
1
Formal Methods and Hybrid Real-Time Systems - Jones, Cliff B. (Volume ed.) / Liu, Zhiming / Woodcock, Jim
Order
at booklooker.de
€ 75.99
Shipment: € 0.00
Order
Sponsored link
Jones, Cliff B. (Volume ed.) / Liu, Zhiming / Woodcock, Jim:

Formal Methods and Hybrid Real-Time Systems - Paperback

2007, ISBN: 9783540752202

[ED: Softcover], [PU: Springer, Berlin], This Festschrift volume is published to honour both Dines Bjrner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Formal Methods and Hybrid Real-Time Systems - Cliff B. Jones#Zhiming Liu#Jim Woodcock
Order
at Thalia.de
€ 101.99
Shipment: € 6.00
Order
Sponsored link

Cliff B. Jones#Zhiming Liu#Jim Woodcock:

Formal Methods and Hybrid Real-Time Systems - Paperback

2007, ISBN: 9783540752202

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers,… More...

Nr. 14936583. Shipping costs:, Sofort lieferbar, zzgl. Versandkosten. (EUR 6.00)
3
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Bir
Order
at Indigo.ca
C$ 197.50
(aprox. € 132.78)
Order
Sponsored link
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Bir - new book

2007

ISBN: 9783540752202

This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers,… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
4
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues)
Order
at awesomebooks.com
£ 79.33
(aprox. € 92.60)
Shipment: € 3.49
Order
Sponsored link
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues) - new book

2007, ISBN: 9783540752202

The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the Interna… More...

No. 9783540752202. Shipping costs:3, (EUR 3.49)
5
Formal Methods and Hybrid Real-Time Systems - Cliff B. Jones; Zhiming Liu; Jim Woodcock
Order
at Springer.com
£ 90.00
(aprox. € 105.05)
Order
Sponsored link
Cliff B. Jones; Zhiming Liu; Jim Woodcock:
Formal Methods and Hybrid Real-Time Systems - Paperback

ISBN: 9783540752202

There is currently no description available Books > Computer Science Soft cover, Springer Shop

new in stock. Shipping costs:plus shipping costs.

Details of the book
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Bir

This Festschrift volume, published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays in October and November 2007, includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic. Dines Bjørner is known for his many contributions to the theory and practice of formal methods for software engineering with special focus on abstraction and modelling, specification of systems and languages, and domains, requirements, and software design. He was a professor at the Technical University of Denmark (DTU) in Lyngby, near Copenhagen; he was the founding director of the United Nations University International Institute for Software Technology (UNU-IIST) in Macao during the 1990s; and a co-founder of VDM-Europe, which became Formal Methods Europe, an organisation that promotes the use of formal methods. Zhou Chaochen is known for his seminal contributions to the theory and practice of timed and hybrid systems. Starting at Peking University and as a postgraduate at the Institute for Computing Technology of the Chinese Academy of Sciences, he continued his career with an extended visit to Oxford University Computing Laboratory, where he was the prime instigator of the Duration Calculus, an interval logic for real-time systems. He also worked as a visiting professor at the Technical University of Denmark, Lyngby, at the invitation of Prof. Dines Bjørner. He was a principal research fellow at UNU-IIST during the period 1992-97, before becoming its director, an appointment he held from 1997 to 2002.

Details of the book - Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Bir


EAN (ISBN-13): 9783540752202
ISBN (ISBN-10): 354075220X
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer Berlin
539 Pages
Weight: 0,845 kg
Language: eng/Englisch

Book in our database since 2008-01-04T11:20:13-05:00 (New York)
Detail page last modified on 2021-03-17T06:53:26-04:00 (New York)
ISBN/EAN: 9783540752202

ISBN - alternate spelling:
3-540-75220-X, 978-3-540-75220-2


Information from Publisher

Author: Cliff B. Jones; Zhiming Liu; Jim Woodcock
Title: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Publisher: Springer; Springer Berlin
542 Pages
Publishing year: 2007-09-06
Berlin; Heidelberg; DE
Printed / Made in
Weight: 0,848 kg
Language: English
106,99 € (DE)
109,99 € (AT)
133,63 CHF (CH)
POD

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Algorithms; algorithm; design; formal method; logic; modeling; organization; real-time; software engineering; verification; C; Software Engineering/Programming and Operating Systems; Software Engineering; Logics and Meanings of Programs; Computer Systems Organization and Communication Networks; Mathematical Logic and Formal Languages; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Engineering and Networks; Formal Languages and Automata Theory; Computer Science; Theoretische Informatik; Computerhardware; Theoretische Informatik; EA

Models 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.

More/other books that might be very similar to this book

Latest similar book:
9783540752219 Formal Methods and Hybrid Real-Time Systems (Cliff B. Jones; Zhiming Liu; Jim Woodcock)


< to archive...