Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
$128.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9783540619291
1
Details
- Format
- Paperback
- ISBN-13
- 9783540619291
- Publisher
- Springer
- Published
- October 30, 1996
- Pages
- 523
- Weight
- 25.9 oz
- Subject
- Technology & Engineering
More by Jean-Raymond Abrial
All books
Modeling in Event-B
Jean-Raymond Abrial
$194.99
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Jean-Raymond Abrial
$67.99
Popular in Technology & Engineering
Browse Technology & Engineering
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
Karen Hao
$16.99
Kobuk the Destroyer: And Other Tales from the Wild, Unseen World of Test Engineering
Alex Davies
$23.99
The Collision: What AI Does to Us
Eric C. So
$23.99
Practical Electronics for Inventors
Paul Scherz
$36.99
Apple: The First 50 Years
David Pogue
$38.99
The Coming Wave: Ai, Power, and Our Future
Mustafa Suleyman
$16.99
Engineering in Plain Sight: An Illustrated Field Guide to the Constructed Environment
Grady Hillhouse
$31.99
Thing Explainer: Complicated Stuff in Simple Words
Randall Munroe
$21.99
Learning the Art of Electronics: A Hands-On Lab Course
Thomas C. Hayes
$101.99
Ugly's Electrical References, 2026 Edition
Charles R. Miller
$22.99
The Great Bridge
David McCullough
$18.99
Failure Is Not an Option: Mission Control from Mercury to Apollo 13 and Beyond
Gene Kranz
$17.99