Search results for ‘David C. Luckham,Friedrich W. von Henke,Bernd Krieg-Brueckner,Olaf Owe’

Filter & Refine

      Cover image for ANNA A Language for Annotating Ada Programs: Reference Manual
      Paperback
      Add to list Added to list

      ANNA A Language for Annotating Ada Programs: Reference Manual

      David C. Luckham,Friedrich W. von Henke,Bernd Krieg-Brueckner,Olaf Owe

      ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order