Save on Computer & IT
- £36.63Trending at £37.74
- £21.73Trending at £23.18
- £45.12Trending at £59.87
- £11.82Trending at £15.87
- £36.98Trending at £37.50
- £29.42Trending at £37.21
- £14.15Trending at £18.29
About this product
- DescriptionThis reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs.
- Author(s)Bernd Krieg-Brueckner,David Luckham,Friedrich W. von Henke,Olaf Owe
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Date of Publication15/07/1987
- GenreComputing: Professional & Programming
- Series TitleLecture Notes in Computer Science
- Series Part/Volume Numberv. 260
- Place of PublicationBerlin
- Country of PublicationGermany
- ImprintSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Content Notebiography
- Weight510 g
- Width155 mm
- Height233 mm
- Spine8 mm
- Format DetailsTrade paperback (US)
- Edition Statement1987 ed.
This item doesn't belong on this page.
Thanks, we'll look into this.