Lecture Notes in Computer Science Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Book 1165, (Paperback)

Lecture Notes in Computer Science Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Book 1165, (Paperback) Author: Springer ISBN: 9783540619291 Format: Paperback Publication Date: 1996-10-30 Page Count: 523

Shipping & Returns

Product image 1
Price unavailable
Lecture Notes in Computer Science Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Book 1165, (Paperback)
$216.00