ANNA A Language for Annotating Ada Programs

Reference Manual

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

Keine Kommentare vorhanden
Jetzt ersten Kommentar schreiben!
Bewerten Sie jetzt diesen Artikel

Schreiben Sie den ersten Kommentar zu "ANNA A Language for Annotating Ada Programs".

Kommentar verfassen
Bequeme Ratenzahlung möglich!
This 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. It is designed to meet a perceived need to...

Produkt empfehlen

2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Facebook senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Google+ senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter oder Google in die USA übertragen und unter Umständen auch dort gespeichert. Näheres erfahren Sie durch einen Klick auf das i.


Buch64.19 €

Jetzt vorbestellen
Sprache: Englisch

Voraussichtlich lieferbar in 3 Tag(en)

Bestellnummer: 1065564

Auf meinen Merkzettel
Versandkostenfrei
Bestellungen mit diesem Artikel sind versandkostenfrei!
Ihre weiteren Vorteile
  • Selbstverständlich 14 Tage Widerrufsrecht
  • Per Rechnung zahlen

Das könnte Ihnen auch gefallen

Kommentare zu "ANNA A Language for Annotating Ada Programs"

Mehr Bücher des Autors

Weitere Empfehlungen zu „ANNA A Language for Annotating Ada Programs “

Weitere Artikel zum Thema

Ähnliche Artikel finden

0 Gebrauchte Artikel zu „ANNA A Language for Annotating Ada Programs“

ZustandPreisPortoZahlungVerkäuferRating