Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

ANNA A Language for Annotating Ada Programs

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

Reference Manual

David Luckham

Friedrich W. von Henke

Bernd Krieg-Brückner

Język

Angielski

Książka Miękka

Kod Libristo: 01558422

Wydawnictwo Springer, Berlin

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language e... Cały opis

Kod Libristo: 01558422

125 b

222.46 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

Miękka

58.92 zł

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

Twarda

177.09 zł

Exercices D'Apprentissage 2 Collective

Miękka

83.29 zł

Auditores e responsabilidades em matéria de fraude Bryant Akonjang

Miękka

176.58 zł

Subskr.-Pr

Twarda

313.92 zł

Protestantische Ethik des Politischen Arnulf von Scheliha

Miękka

250.40 zł

Weihnachten in der kleinen Bucherei Amanda Kissel

Adobe ePub DRM

23.64 zł

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

Miękka

542.40 zł

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

Miękka

56.07 zł

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

Twarda

56.07 zł

Beloved Darkness Sandra Parker

Miękka

39.35 zł

CARTAS DE FRANCO, LAS PALACIOS

Książka

142.53 zł

WORD 2013

Miękka

80.64 zł

Lettres Provinciales... Blaise Pascal

Miękka

132.23 zł

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

Miękka

210.84 zł

Cosas nuestras / Our Issues ILU ROS

Twarda

106.43 zł

Bilderbuchkarten »Swimmy« von Leo Lionni Katrin Alt

Gra

73.30 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa ANNA A Language for Annotating Ada Programs

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

Język

Angielski

Oprawa Książka - Miękka

Liczba stron 148

EAN 9783540179801

ISBN 3540179801

Kod Libristo 01558422

Wydawnictwo Springer, Berlin

Waga 256

Wymiary 155 x 233 x 8

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka)

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

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

Miękka

40.57 zł

Veil Volume 6: Untangled Rouge Kotteri

Miękka

52.80 zł

Sailing with the Artemis Posse Natalie Keith

Adobe ePub DRM

23.64 zł

Rules for Trade in Services 2.0 Gabriel Gari

Adobe ePub DRM

292.91 zł

Cloisters Hays

Miękka

50.87 zł

Stories From the Heart Richard J. Meyer

Adobe ePub DRM

158.53 zł

Designing Successful e-Learning Allen Michael W. Allen

Adobe ePub DRM

262.12 zł

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

Adobe ePub DRM

97.56 zł

Sweet and Clean? Susan North

Adobe ePub DRM

510.39 zł

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

Miękka

44.44 zł