Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

ANNA A Language for Annotating Ada Programs

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

Reference Manual

David Luckham

Friedrich W. von Henke

Bernd Krieg-Brückner

Língua

Inglês

Livro Capa mole

Código Libristo: 01558422

Editoras Springer, Berlin

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language e... Descrição completa

Código Libristo: 01558422

132 b

54.13 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Zur Reform der Gewerbe-Ordnung. Gustav Schmoller

Capa mole

24.85 €

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

Livro de capa dura

42.06 €

Exercices D'Apprentissage 2 Collective

Capa mole

17.50 €

Auditores e responsabilidades em matéria de fraude Bryant Akonjang

Capa mole

46.19 €

Brüder Xu Hua Ling

Livro de capa dura

17.10 €

Subskr.-Pr

Livro de capa dura

77.11 €

Protestantische Ethik des Politischen Arnulf von Scheliha

Capa mole

57.86 €

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

Capa mole

131.93 €

Weihnachten in der kleinen Bucherei Amanda Kissel

Adobe ePub DRM

5.52 €

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

Capa mole

12.17 €

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

Livro de capa dura

19.31 €

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

Capa mole

13.98 €

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

Livro de capa dura

13.37 €

CARTAS DE FRANCO, LAS PALACIOS

Livro

31.29 €

WORD 2013

Capa mole

17.60 €

Lettres Provinciales... Blaise Pascal

Capa mole

31.29 €

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

Capa mole

51.52 €

Cosas nuestras / Our Issues ILU ROS

Livro de capa dura

23.24 €

Beloved Darkness Sandra Parker

Capa mole

9.66 €

Bilderbuchkarten »Swimmy« von Leo Lionni Katrin Alt

Jogo

17.80 €

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.