Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.99 € Пункт на Speedy 3.99 € ЕКОНТ 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday 4.49 € Sameday box 4.49 € Box Now 4.49 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

ANNA A Language for Annotating Ada Programs

Name: ANNA A Language for Annotating Ada Programs
Brand: Springer, Berlin
SKU: 01558422
Price: 51.35 EUR
Availability: InStock
Author: David Luckham
ISBN: 9783540179801

Reference Manual

David Luckham

Friedrich W. von Henke

Bernd Krieg-Brückner

Език

Английски език

Книга С меки корици

Код Либристо: 01558422

Издателство Springer, Berlin

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language e... Цялото описание

Код Либристо: 01558422

125 b

51.35 €

100.43 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Zur Reform der Gewerbe-Ordnung. Gustav Schmoller

С меки корици

24.85 € 48.60 лв

Ruminations Over the History of Islam 对伊斯兰历史的沉思 Xuanjun Xie

С твърди корици

42.03 € 82.21 лв

Exercices D'Apprentissage 2 Collective

С меки корици

19.09 € 37.33 лв

Auditores e responsabilidades em matéria de fraude Bryant Akonjang

С меки корици

40.75 € 79.70 лв

Brüder Xu Hua Ling

С твърди корици

17.13 € 33.50 лв

Subskr.-Pr

С твърди корици

77.11 € 150.81 лв

Protestantische Ethik des Politischen Arnulf von Scheliha

С меки корици

57.88 € 113.21 лв

Gesetzlichen Rechte Des Ueberlebenden Ehegatten Nach Dem Deutschen Und Spanischen Kollisionsrecht Robert Beier

С меки корици

131.93 € 258.03 лв

Weihnachten in der kleinen Bucherei Amanda Kissel

Adobe ePub DRM

5.81 € 11.36 лв

Aplicaciones de Macintosh a la filología clásica RIAÑO RUFILANCHAS

С меки корици

13.17 € 25.75 лв

Divoké víno 2007–2017 Ludvík Hess

С твърди корици

18.88 € 36.93 лв

Examen de la Proposition de Loi de M. J. Bozerian, Sur Le Nom Commercial De Maillard De Marafy-L

С меки корици

13.94 € 27.26 лв

Romány tří mágů Jiří Karásek ze Lvovic

С твърди корици

15.02 € 29.38 лв

CARTAS DE FRANCO, LAS PALACIOS

Книга

34.37 € 67.22 лв

WORD 2013

С меки корици

19.19 € 37.53 лв

Lettres Provinciales... Blaise Pascal

С меки корици

31.33 € 61.28 лв

Gestion de la cohérence de répliques des fichiers Ghalem Belalem

С меки корици

48.72 € 95.30 лв

Cosas nuestras / Our Issues ILU ROS

С твърди корици

25.67 € 50.21 лв

Beloved Darkness Sandra Parker

С меки корици

9.62 € 18.82 лв

Bilderbuchkarten »Swimmy« von Leo Lionni Katrin Alt

Игра

17.85 € 34.91 лв

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 augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design.