Coverart for item
The Resource Modeling in Event-B : system and software engineering, Jean-Raymond Abrial

Modeling in Event-B : system and software engineering, Jean-Raymond Abrial

Label
Modeling in Event-B : system and software engineering
Title
Modeling in Event-B
Title remainder
system and software engineering
Statement of responsibility
Jean-Raymond Abrial
Creator
Author
Subject
Language
eng
Summary
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
Cataloging source
UkCbUP
http://library.link/vocab/creatorName
Abrial, Jean-Raymond
Dewey number
004.01/51
Index
index present
LC call number
QA76.9.F67
LC item number
A27 2010
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • B method (Computer science)
  • Computer science
  • Computer systems
Label
Modeling in Event-B : system and software engineering, Jean-Raymond Abrial
Instantiates
Publication
Note
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
CR9781139195881
Extent
1 online resource (xxvi, 586 pages)
Form of item
online
Isbn
9781139195881
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
digital, PDF file(s).
Specific material designation
remote
Label
Modeling in Event-B : system and software engineering, Jean-Raymond Abrial
Publication
Note
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
CR9781139195881
Extent
1 online resource (xxvi, 586 pages)
Form of item
online
Isbn
9781139195881
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
digital, PDF file(s).
Specific material designation
remote

Library Locations

Processing Feedback ...