Your price
Out of Stock

Computing Abstract Models for Verifying Reactive Systems

Berichte aus der Informatik

By (author) Thomas Firley
Format: Paperback
Publisher: Shaker Verlag GmbH, Germany, Aachen, Germany
Published: 30th Aug 2005
Dimensions: w 170mm h 240mm
ISBN-10: 3832243356
ISBN-13: 9783832243357
Barcode No: 9783832243357
ISSN: 0945-0807

New & Used

Seller Information Condition Price
Out of Stock

What Reviewers Are Saying

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