David Luckham
(Author)Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs (Softcover Reprint of the Original 1st 1990)Paperback - Softcover Reprint of the Original 1st 1990, 5 January 2012
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Part of Series
Monographs in Computer Science
Print Length
416 pages
Language
English
Publisher
Springer
Date Published
5 Jan 2012
ISBN-10
1461396875
ISBN-13
9781461396871
Description
Product Details
Author:
Book Edition:
Softcover Reprint of the Original 1st 1990
Book Format:
Paperback
Country of Origin:
NL
Date Published:
5 January 2012
Dimensions:
23.39 x
15.6 x
2.26 cm
ISBN-10:
1461396875
ISBN-13:
9781461396871
Language:
English
Location:
New York, NY
Pages:
416
Publisher:
Weight:
612.35 gm