Springer
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Product Code:
9781461396871
ISBN13:
9781461396871
Condition:
New
$61.47
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
$61.47
This monograph introduces ANNA, a language for specifying programs written in Ada.
| Author: David Luckham |
| Publisher: Springer |
| Publication Date: Jan 05, 2012 |
| Number of Pages: 416 pages |
| Binding: Paperback or Softback |
| ISBN-10: 1461396875 |
| ISBN-13: 9781461396871 |
Related Products
Sale 2%
