Your price
Out of Stock

Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

Berichte aus der Informatik

By (author) Axel Schairer
Format: Paperback
Publisher: Shaker Verlag GmbH, Germany, Aachen, Germany
Published: 16th Aug 2006
Dimensions: w 148mm h 210mm
ISBN-10: 3832253807
ISBN-13: 9783832253806
Barcode No: 9783832253806
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