Hardback (30 Nov 1990)
Not available for sale
Out of stock
This monograph provides an introduction to ANNA, a language for the specification of programs written in Ada. The text includes suggestions for the interpretation of package specifications and processes for consistent implementation of packages.
| ISBN: | 9783540972549 |
| Publisher: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Imprint: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Pub date: | 30 Nov 1990 |
| Language: | English |
| Number of pages: | 432 |
| Weight: | 750g |
| Height: | 240mm |
$14.55off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $14.55
$9.65off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $9.65
$7.15off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $7.15
$13.03off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.03
$16.10off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.10
$4.75off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.75
$17.89off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $17.89
$16.26off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $16.26
$71.28off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $71.28