Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs

Luckham, David

ISBN 10: 1461396875 ISBN 13: 9781461396871
Published by Springer 2012-01, 2012
Language: English
Condition: New Soft cover
Save for Later

Sold by Chiron Media, Wallingford, United Kingdom

AbeBooks Seller since August 2, 2010

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

View this seller's items

New - Soft cover

Condition: New

Price: US$ 66.33 Convert Currency
US$ 20.82 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: 10 available

Add to basket

Free 30-day returns

Save for Later