Book's by Jean-Raymond Abrial
Covers
List
Modeling in Event-B
By: Jean-Raymond Abrial
Be the first to review
Formal Methods for Industrial Applications
By: Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Be the first to review
Age
Page Count
613
Publisher
Cambridge University Press
Published Date
ISBN 10
0521895561
ISBN 13
9780521895569
Specifying and Programming the Steam Boiler Control
Specifying and Programming the Steam Boiler Control
Age
Page Count
536
Publisher
Springer Science & Business Media
Published Date
ISBN 10
3540619291
ISBN 13
9783540619291
Select your Age
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.
Learn More.