Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (25 chapters)
Keywords
About this book
The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.
Bibliographic Information
Book Title: Formal Methods for Industrial Applications
Book Subtitle: Specifying and Programming the Steam Boiler Control
Editors: Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0027227
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61929-1Published: 30 October 1996
eBook ISBN: 978-3-540-49566-6Published: 19 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 523
Topics: Software Engineering/Programming and Operating Systems, Machinery and Machine Elements, Business and Management, general, Programming Techniques, Software Engineering, Programming Languages, Compilers, Interpreters