Name: Rodin User's Handbook: Covers Rodin v.2.8
Price: 604.00 ZAR
Availability: InStock
Author: Butler, Michael ; Jastram, Michael
ISBN: 9781495438141

Select your country

Americas

Europe

Rest of the world

portada Rodin User's Handbook: Covers Rodin v.2.8

Rodin User's Handbook: Covers Rodin v.2.8

Type

Physical Book

Author

Michael Butler

Michael Jastram

Publisher

Createspace

Language

English

Pages

184

Format

Paperback

Dimensions

23.4 x 15.6 x 1.0 cm

Weight

0.27 kg.

ISBN13

9781495438141

Synopsis "Rodin User's Handbook: Covers Rodin v.2.8"

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendible with plugins. This book provides a tutorial for new users and a reference about the Rodin platform, the Event-B modeling notation and its mathematical toolkit. The handbook is licensed as Creative Commons CC-SA. This printed version has been produced at the request of many users by Formal Mind.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Rodin User's Handbook: Covers Rodin v.2.8 - Butler, Michael ; Jastram, Michael

Synopsis "Rodin User's Handbook: Covers Rodin v.2.8"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery