Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Modeling in Event-B

Name: Modeling in Event-B
Brand: Cambridge University Press
SKU: 04095926
Price: 185.09 EUR
Availability: InStock
Author: Jean-Raymond Abrial
ISBN: 9780521895569

Jean-Raymond Abrial

Language

English

Book Hardback

Libristo code: 04095926

Publishers Cambridge University Press, May 2010

A practical text suitable for an introductory or advanced course in formal methods, this book presen... Full description

Libristo code: 04095926

453 b

185.09 € VAT included

In stock at our supplier Shipping in 14-21 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

El instituto Tavistock / The Tavistock Institute DANIEL ESTULIN

Paperback

10.19 €

Konzeption, Durchfuhrung und Evaluation einer Verkaufsschulung zur Steigerung der Kundenorientierung Ulrike Lorenz

Paperback

74.00 €

Die 55 wichtigsten Fälle Schuldrecht AT Achim Wüst

Paperback

17.49 €

Kosken kohinaa ja raamin rousketta Matti Vuorikoski

Hardback

20.39 €

Masken Cupido

MP3

3.39 €

Ach, holčičko William Saroyan

Hardback

4.69 €

Martynka i przygoda z psem Gilbert Delahaye

Hardback

5.49 €

Chłopak, który jej się spodobał wcale nie jest chłopakiem. Tom 3 Sumiko Arai

Paperback

7.89 €

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.