Modeling in Event-B: System and Software Engineering - Image 1

£81.42

Cambridge University Press Modeling in Event-B: System and Software Engineering

Name: Modeling in Event-B: System and Software Engineering
Brand: Cambridge University Press
Price: 81.42 GBP
Availability: InStock

Worked examples or Exercises; 10 Halfton

Languages

Price History & Forecast

Last 84 days • 84 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 84 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £81 (43 days, 51.2%)

Price range: £75 - £81

Price levels: 5 different prices over 84 days

Description

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

Product Specifications

Brand: Cambridge University Press
Model: Worked examples or Exercises; 10 Halfton
Format: hardcover
ASIN: 0521895561
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 13 May 2010
Listed Since: 26 October 2009

Barcode

No barcode data available

Cambridge University Press Modeling in Event-B: System and Software Engineering

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Modeling Companion for Software Practitioners

Computer Science and Engineering―Theory and Applications: 143 (Studies in Systems, Decision and Control, 143)

Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)

Cybernetics Approaches in Intelligent Systems: Computational Methods in Systems and Software 2017, vol. 1: 661 (Advances in Intelligent Systems and Computing)

BASIC-Programmierbuch: zu den grundlegenden Ablaufstrukturen der Datenverarbeitung (Programmieren von Mikrocomputern)

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

Systematic Program Design: From Clarity to Efficiency

Formal Methods, Informally: How to Write Programs That Work

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

Technological Innovation for Value Creation: Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS ... and Communication Technology, 372)

Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Diskrete Mathematik und Mathematische Fragen der Kybernetik: 71 (Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften, 71)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings: 10807 (Lecture Notes in Computer Science, 10807)

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)

Dynamics of Information Systems: Algorithmic Approaches: 51 (Springer Proceedings in Mathematics & Statistics, 51)

Representation Theorems in Computer Science: A Treatment in Logic Engineering

The Real and Virtual Worlds of Spatial Planning

Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)