Your price
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
Out of Stock

What Reviewers Are Saying

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