Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

ANNA A Language for Annotating Ada Programs

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

Reference Manual

David Luckham

Friedrich W. von Henke

Bernd Krieg-Brückner

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01558422

Nakladatelství Springer, Berlin

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language e... Celý popis

Libristo kód: 01558422

118 b

1 181 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Zur Reform der Gewerbe-Ordnung. Gustav Schmoller

Brožovaná

541 Kč

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

Pevná

972 Kč

Exercices D'Apprentissage 2 Collective

Brožovaná

445 Kč

Auditores e responsabilidades em matéria de fraude Bryant Akonjang

Brožovaná

933 Kč

Brüder Xu Hua Ling

Pevná

370 Kč

Subskr.-Pr

Pevná

1 654 Kč

Protestantische Ethik des Politischen Arnulf von Scheliha

Brožovaná

1 350 Kč

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

Brožovaná

2 887 Kč

Weihnachten in der kleinen Bucherei Amanda Kissel

Adobe ePub DRM

134 Kč

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

Brožovaná

308 Kč

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

Pevná

404 Kč

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

Brožovaná

322 Kč

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

Pevná

245 Kč

CARTAS DE FRANCO, LAS PALACIOS

Kniha

797 Kč

WORD 2013

Brožovaná

447 Kč

Lettres Provinciales... Blaise Pascal

Brožovaná

725 Kč

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

Brožovaná

1 115 Kč

Cosas nuestras / Our Issues ILU ROS

Pevná

594 Kč

Beloved Darkness Sandra Parker

Brožovaná

208 Kč

Bilderbuchkarten »Swimmy« von Leo Lionni Katrin Alt

Hra

389 Kč

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.