Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

ANNA A Language for Annotating Ada Programs

Reference Manual

Taal EngelsEngels
Boek Gebonden (paperback)
Boek ANNA A Language for Annotating Ada Programs David Luckham
Libristo-code: 01558422
Uitgeverij Springer, Berlin
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language e... Volledige beschrijving
? points 125 b
51.02 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Examen de la Proposition de Loi de M. J. Bozerian, Sur Le Nom Commercial De Maillard De Marafy-L / Boek Gebonden (paperback)
common.buy 13.50 €
Ruminations Over the History of Islam 对伊斯兰历史的沉思 Xuanjun Xie / Boek Gebonden (harde band)
common.buy 40.72 €
Exercices D'Apprentissage 2 Collective / Boek Gebonden (paperback)
common.buy 18.20 €
Auditores e responsabilidades em matéria de fraude Bryant Akonjang / Boek Gebonden (paperback)
common.buy 40.51 €
Subskr.-Pr / Boek Gebonden (harde band)
common.buy 72.13 €
Protestantische Ethik des Politischen Arnulf von Scheliha / Boek Gebonden (paperback)
common.buy 57.53 €
TOP
Weihnachten in der kleinen Bucherei Amanda Kissel / E-book Adobe ePub DRM
common.buy 5.39 €
Gesetzlichen Rechte Des Ueberlebenden Ehegatten Nach Dem Deutschen Und Spanischen Kollisionsrecht Robert Beier / Boek Gebonden (paperback)
common.buy 124.57 €
Aplicaciones de Macintosh a la filología clásica RIAÑO RUFILANCHAS / Boek Gebonden (paperback)
common.buy 12.60 €
Romány tří mágů Jiří Karásek ze Lvovic / Boek Gebonden (harde band)
common.buy 12.89 €
Beloved Darkness Sandra Parker / Boek Gebonden (paperback)
common.buy 9.00 €
Wordt verwacht
CARTAS DE FRANCO, LAS PALACIOS / Boek Boek
common.buy 32.51 €
WORD 2013 / Boek Gebonden (paperback)
common.buy 18.30 €
Lettres Provinciales... Blaise Pascal / Boek Gebonden (paperback)
common.buy 30.41 €
Gestion de la cohérence de répliques des fichiers Ghalem Belalem / Boek Gebonden (paperback)
common.buy 48.42 €
Cosas nuestras / Our Issues ILU ROS / Boek Gebonden (harde band)
common.buy 23.50 €
Bilderbuchkarten »Swimmy« von Leo Lionni Katrin Alt / Spel/speelgoed Spel
common.buy 20.20 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam ANNA A Language for Annotating Ada Programs
Auteur David Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Aantal pagina's 148
EAN 9783540179801
ISBN 3540179801
Libristo-code 01558422
Uitgeverij Springer, Berlin
Gewicht 256
Afmetingen 155 x 233 x 8

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

How to Write a Novel: A Beginner's Guide Sean O'Neill / Boek Gebonden (paperback)
common.buy 9.30 €
TOP Wordt verwacht Nieuw
Veil Volume 6: Untangled Rouge Kotteri / Boek Gebonden (paperback)
common.buy 12.09 €
Sailing with the Artemis Posse Natalie Keith / E-book Adobe ePub DRM
common.buy 5.39 €
Rules for Trade in Services 2.0 Gabriel Gari / E-book Adobe ePub DRM
common.buy 66.83 €
Cloisters Hays / Boek Gebonden (paperback)
common.buy 10.69 €
Stories From the Heart Richard J. Meyer / E-book Adobe ePub DRM
common.buy 41.82 €
Designing Successful e-Learning Allen Michael W. Allen / E-book Adobe ePub DRM
common.buy 60.13 €
Cambridge International AS & A Level Mathematics: Mechanics Coursebook Digital Edition Jan Dangerfield / E-book Adobe ePub DRM
common.buy 22.30 €
Sweet and Clean? Susan North / E-book Adobe ePub DRM
common.buy 116.46 €
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 / Boek Gebonden (paperback)
common.buy 10.20 €
Biotechnology for Biofuels: A Sustainable Green Energy Solution Nitish Kumar / Boek Gebonden (paperback)
common.buy 152.62 €
Handbook of Research on Mass Shootings and Multiple Victim Violence Gordon a. Crews / Boek Gebonden (harde band)
common.buy 304.28 €
Topics in the Surgery of the Biliary Tree Hesham Abdeldayem / Boek Gebonden (harde band)
common.buy 113.46 €
A Common Evil: A Bailey Crane Mystery Billy Ray Chitwood / Boek Gebonden (paperback)
common.buy 12.70 €
Reunion: Meeting Ourselves Again for the First Time Dr John V Tornfelt / Boek Gebonden (paperback)
common.buy 12.90 €
View from the Bed Heather Tosteson / Boek Gebonden (paperback)
common.buy 20.10 €
Saints in Old Norse and Early Modern Icelandic Poetry Kirsten Wolf / Boek Gebonden (harde band)
common.buy 106.56 €
Dynamic Assessment Matthew E. Poehner / Boek Gebonden (paperback)
common.buy 129.47 €
Lipoprotein Protocols Jose M. Ordovas / Boek Gebonden (paperback)
common.buy 114.46 €
Evidence-Based Endocrinology Victor M. Montori / Boek Gebonden (paperback)
common.buy 124.67 €
House of Pomegranates Oscar Wilde / Boek Gebonden (paperback)
common.buy 11.60 €
Nonlinear and Stochastic Dynamics of Compliant Offshore Structures eon Mi Han / Boek Gebonden (paperback)
common.buy 152.68 €
TOP
Statistical Thermodynamics Erwin Schrodinger / Boek Gebonden (paperback)
common.buy 8.49 €
Pyrdinium salt derivatives:synthesis and anticorrosion applications Atheer Mahmood / Boek Gebonden (paperback)
common.buy 54.52 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?