Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

ANNA A Language for Annotating Ada Programs

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

Reference Manual

David Luckham

Friedrich W. von Henke

Bernd Krieg-Brückner

Language

English

Book Paperback

Libristo code: 01558422

Publishers Springer, Berlin

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language e... Full description

Libristo code: 01558422

132 b

54.33 €

106.25 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Paperback

13.68 € 26.76 лв

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

Hardback

41.05 € 80.29 лв

Exercices D'Apprentissage 2 Collective

Paperback

20.14 € 39.38 лв

Auditores e responsabilidades em matéria de fraude Bryant Akonjang

Paperback

43.33 € 84.74 лв

Subskr.-Pr

Hardback

77.36 € 151.31 лв

Protestantische Ethik des Politischen Arnulf von Scheliha

Paperback

58.05 € 113.53 лв

Weihnachten in der kleinen Bucherei Amanda Kissel

Adobe ePub DRM

5.78 € 11.30 лв

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

Paperback

132.42 € 258.98 лв

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

Paperback

13.47 € 26.35 лв

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

Hardback

13.84 € 27.06 лв

Beloved Darkness Sandra Parker

Paperback

9.65 € 18.88 лв

CARTAS DE FRANCO, LAS PALACIOS

Book

34.60 € 67.67 лв

WORD 2013

Paperback

19.52 € 38.17 лв

Lettres Provinciales... Blaise Pascal

Paperback

30.67 € 59.99 лв

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

Paperback

51.74 € 101.20 лв

Cosas nuestras / Our Issues ILU ROS

Hardback

25.92 € 50.70 лв

Bilderbuchkarten »Swimmy« von Leo Lionni Katrin Alt

Game

20.60 € 40.29 лв

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name ANNA A Language for Annotating Ada Programs

Author David Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner

Language

English

Binding Book - Paperback

Number of pages 148

EAN 9783540179801

ISBN 3540179801

Libristo code 01558422

Publishers Springer, Berlin

Weight 256

Dimensions 155 x 233 x 8

You might also be interested in

How to Write a Novel: A Beginner's Guide Sean O'Neill

Paperback

9.39 € 18.37 лв

Veil Volume 6: Untangled Rouge Kotteri

Paperback

13.16 € 25.75 лв

Sailing with the Artemis Posse Natalie Keith

Adobe ePub DRM

5.78 € 11.30 лв

Rules for Trade in Services 2.0 Gabriel Gari

Adobe ePub DRM

70.91 € 138.68 лв

Cloisters Hays

Paperback

12.60 € 24.64 лв

Stories From the Heart Richard J. Meyer

Adobe ePub DRM

38.37 € 75.04 лв

Designing Successful e-Learning Allen Michael W. Allen

Adobe ePub DRM

63.57 € 124.34 лв

Cambridge International AS & A Level Mathematics: Mechanics Coursebook Digital Edition Jan Dangerfield

Adobe ePub DRM

23.65 € 46.25 лв

Sweet and Clean? Susan North

Adobe ePub DRM

123.28 € 241.11 лв

100 Animals Adult Coloring Book: An Adult Coloring Book with Lions, Elephants, Owls, Horses, Dogs, Cats, and Many More! A Lot of Relaxing and Beautifu Rose Heaven

Paperback

10.32 € 20.19 лв