Seller
Your price
£16.27
Out of Stock

Verification and Validation of Logic Control Algorithms by Model Checking

Verifikation Und Validierung Von Steuerungsalgorithmen Mittels Model Checking. Berichte Aus Der Automatisierungstechnik

By (author) Xiying Weng
Format: Paperback
Publisher: Shaker Verlag GmbH, Germany, Aachen, Germany
Published: 19th Dec 2003
Dimensions: w 148mm h 210mm
ISBN-10: 3832222421
ISBN-13: 9783832222420
Barcode No: 9783832222420
ISSN: 0945-4659

New & Used

Seller Information Condition Price
-New
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now