Programming with Specifications
% SALE
Programming with Specifications
% SALE
% SALE
Description
This monograph introduces ANNA, a language for specifying programs written in Ada.
Product details
- Type:
- Book
- Binding:
- Paperback
- Edition:
- 1
- Languages:
-
Original:
English
- Number of Pages:
-
440
- Publisher:
-
Springer
- Publication Date:
-
2012-01-05
- ISBN / EAN:
-
9781461396871
- Weight:
-
663 g
- Dimensions:
-
16/24/2 cm
- GPSR Manufacturer Reference:
-
[email protected]
Die gelieferte Auflage kann ggf. abweichen.
Currently sold out
Back in stock email
Add to Wishlist
