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 & Tools

It has never been this cheap. We have no record of a lower price.

£81 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 26 days • 1 price levels

Days at Price

Price Analysis

Most common price: £81 (26 days, 100.0%)

Price range: £81 - £81

Price levels: 1 different prices over 26 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 & Tools
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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Modeling Companion for Software Practitioners

Formal Methods in Computer Science (Textbooks in Mathematics)

Springer - Formal Methods and Models for System Design Book

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Nature-Inspired Networking: Theory and Applications

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Understanding Modelling and Programming

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Discrete-event System Theory: An Introduction

Formal Methods for Industrial Critical Systems: A Survey of Applications

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

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

Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)

The B-Book: Assigning Programs to Meanings

Discrete-Event Modeling and Simulation: Theory and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems)

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)

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

Computer Science 2: Research and Applications (Advances in Experimental Medicine & Biology (Springer))

System Modeling and Control with Resource-Oriented Petri Nets: Automation and Control Engineering: 35

Real-Time Embedded Systems (Quantitative Software Engineering Series)

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)