Description: BOOKS MUSIC DVD'S & FILMS GAMES TOYS & LEGO Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control: 1165 (Lecture Notes in Computer Science, 1165), , Like New Condition Book Title: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control: 1165 (Lecture Notes in Computer Science, 1165) Format: Product Category : Books Weight : 0.77 kg Condition : Like NewWidth : 15.49 cmHeight : 2.03 cmLength : 23.62 cmBinding : paperbackGenre : Software EngineeringISBN : 3540619291List Price : 89.99Publication Date : 1996-10-30Publisher : Springer
Price: 12.99 GBP
Location: Rossendale
End Time: 2024-11-21T17:30:32.000Z
Shipping Cost: 25.71 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 30 days
Book Title: Formal Methods for Industrial Applications: Specifying and Progra
Genre: Software Engineering
Number of Pages: 523 Pages
Language: English
Publication Name: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 1996
Subject: Computer Science, Business
Item Height: 235 mm
Item Weight: 795 g
Type: Textbook
Author: Hans Langmaack, Jean-Raymond Abrial, Egon Boerger
Subject Area: Mechanical Engineering
Series: Lecture Notes in Computer Science
Item Width: 155 mm
Format: Paperback
