David c luckham (35 résultats)

Affiner la recherche

  • Livres (35)

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Wiley, 2011

    0470534850 / 9780470534854

    • Couverture rigide

    Vendeur : World of Books (was SecondSale), Montgomery, IL, Etats-UnisWorld of Books (was SecondSale)

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 10,37

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Hardback. Etat : Good. * This book will tell enterprise and business managers how to make the most advantageous use of event processing technology to develop real time actionable management information from the events flowing through their company s networks or resulting from their business activities and those of their competitors.…

  • Langue : anglais

    Edité par Wiley (edition 1), 2011

    0470534850 / 9780470534854

    • Couverture rigide

    Vendeur : BooksRun, Philadelphia, PA, Etats-UnisBooksRun

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 11,92

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : Very Good. 1. With dust jacket. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

  • Langue : anglais

    Edité par Pearson Education, Limited, 2002

    0201727897 / 9780201727890

    • Couverture rigide

    Vendeur : Better World Books Ltd, Dunfermline, Royaume-UniBetter World Books Ltd

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 9,48

    EUR 5,83 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Etat : Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

  • Langue : anglais

    Edité par Springer, 1990

    0792390873 / 9780792390879

    • Couverture rigide

    Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 13,08

    EUR 6,15 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : Very Good. Sorry, No international shipping on this item.Hardcover. Very Good (blue boards). Name inside. Text block clean and unmarked. Tight binding.

  • Langue : anglais

    Edité par Kluwer Academic Publishers, 1991

    0792390873 / 9780792390879

    • Couverture rigide

    Vendeur : Shore Books, London, Royaume-UniShore Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 14,41

    EUR 12,82 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : Very Good. 322 pages. The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir­ cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it is an IEEE standard (1076-1987), and several simulators and other automated support tools for it are available commercially. By providing a standard notation for describing hardware, especially in the early stages of the hardware design process, VHDL is expected to reduce both the time lag and the cost involved in building new systems and upgrading existing ones. VHDL is the result of an evolutionary approach to language devel­ opment starting with high level hardware description languages existing in 1981. It has a decidedly programming language flavor, resulting both from the orientation of hardware languages of that time, and from a ma­ jor requirement that VHDL use Ada constructs wherever appropriate. During the 1980's there has been an increasing current of research into high level specification languages for systems, particularly in the software area, and new methods of utilizing specifications in systems de­ velopment. This activity is worldwide and includes, for example, object­ oriented design, various rigorous development methods, mathematical verification, and synthesis from high level specifications. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description languages in the direction of applying new methods that have developed since VHDL was designed. (SL#63).…

  • Langue : anglais

    Edité par Springer Berlin / Heidelberg, 1987

    3540179801 / 9783540179801

    • Couverture souple

    Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 34,31

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

  • Langue : anglais

    Edité par Wiley, 2011

    0470534850 / 9780470534854

    • Couverture rigide

    Vendeur : Ammareal, Morangis, FranceAmmareal

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Bon

    EUR 21,99

    EUR 16,50 expédition 
    Expédition depuis France vers Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations. …

  • Langue : anglais

    Edité par John Wiley & Sons, 2011

    0470534850 / 9780470534854

    • Couverture rigide

    Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 62,81

    EUR 3,51 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 3 disponibles

    Etat : New. pp. 288 Index.

  • Langue : anglais

    Edité par Springer 2008-06-27, 2008

    3540179801 / 9783540179801

    • Couverture souple

    Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 56,99

    EUR 18,06 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 10 disponibles

    Paperback. Etat : New.

  • Langue : anglais

    Edité par Springer, 1987

    3540179801 / 9783540179801

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 65,25

    EUR 10,92 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par Springer, 1987

    3540179801 / 9783540179801

    • Couverture souple

    Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 79,19

    EUR 3,51 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponibles

    Etat : New. pp. 156.

  • Langue : anglais

    Edité par Springer, 1990

    0792390873 / 9780792390879

    • Couverture rigide

    Vendeur : BOOKWEST, Phoenix, AZ, Etats-UnisBOOKWEST

    Vendeur avec une évaluation de 3 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 81,52

    EUR 4,39 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : New. US SELLER SHIPS FAST FROM USA.

  • Langue : anglais

    Edité par Springer, 1987

    3540179801 / 9783540179801

    • Couverture souple

    Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 82,86

    EUR 6,11 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    paperback. Etat : New. In shrink wrap. Looks like an interesting title.

  • Langue : anglais

    Edité par Hoboken, Wiley, 2012

    0470534850 / 9780470534854

    • Couverture rigide
    • Édition originale

    Vendeur : Antiquariat Bookfarm, Löbnitz, AllemagneAntiquariat Bookfarm

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 60,98

    EUR 40,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : Gut. 1st edition. 289 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780470534854 Sprache: Englisch Gewicht in Gramm: 350.

  • Langue : anglais

    Edité par Springer, 2012

    1461368081 / 9781461368083

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 128,11

    EUR 13,16 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par Springer, 1990

    0792390873 / 9780792390879

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 128,11

    EUR 13,16 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par Kluwer Academic Publishers, 1990

    0792390873 / 9780792390879

    • Couverture rigide

    Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 135,85

    EUR 9,50 expédition 
    Expédition depuis Irlande vers Etats-Unis

    Quantité disponible : 15 disponibles

    Etat : New. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 322 pages, biography. BIC Classification: TJFC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 675. . 1990. Hardback. . . . . …

  • Langue : anglais

    Edité par Springer, 2012

    1461368081 / 9781461368083

    • Couverture souple

    Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 148,37

    EUR 3,51 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponibles

    Etat : New. pp. 344.

  • Langue : anglais

    Edité par Kluwer Academic Publishers, 1990

    0792390873 / 9780792390879

    • Couverture rigide

    Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 172,77

    EUR 9,23 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 15 disponibles

    Etat : New. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 322 pages, biography. BIC Classification: TJFC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 675. . 1990. Hardback. . . . . Books ship from the US and Ireland. …

  • Langue : anglais

    Edité par Springer US, 1990

    0792390873 / 9780792390879

    • Couverture rigide

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 128,20

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Gebunden. Etat : New. The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments sponsored by the Very High Speed Integrat.

  • Langue : anglais

    Edité par Springer Nature B.V. Okt 1990, 1990

    0792390873 / 9780792390879

    • Couverture rigide

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 163,57

    EUR 35,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponibles

    Buch. Etat : Neu. Neuware - The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it is an IEEE standard (1076-1987), and several simulators and other automated support tools for it are available commercially. By providing a standard notation for describing hardware, especially in the early stages of the hardware design process, VHDL is expected to reduce both the time lag and the cost involved in building new systems and upgrading existing ones. VHDL is the result of an evolutionary approach to language devel opment starting with high level hardware description languages existing in 1981. It has a decidedly programming language flavor, resulting both from the orientation of hardware languages of that time, and from a ma jor requirement that VHDL use Ada constructs wherever appropriate. During the 1980's there has been an increasing current of research into high level specification languages for systems, particularly in the software area, and new methods of utilizing specifications in systems de velopment. This activity is worldwide and includes, for example, object oriented design, various rigorous development methods, mathematical verification, and synthesis from high level specifications. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description languages in the direction of applying new methods that have developed since VHDL was designed.…

  • Langue : anglais

    Edité par Springer, 2012

    1461368081 / 9781461368083

    • Couverture souple

    Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 182,49

    EUR 29,14 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Langue : anglais

    Edité par Wiley, 2011

    0470534850 / 9780470534854

    • Couverture rigide

    Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AllemagneBUCHSERVICE / ANTIQUARIAT Lars Lutzer

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 189,00

    EUR 39,95 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : gut. Event Processing for Business: Organizing the Real-Time Enterprise In englischer Sprache. pages.

  • Langue : anglais

    • Couverture rigide
    • impression à la demande

    Vendeur : S N Books World, Delhi, IndeS N Books World

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 27,17

     Frais de port gratuits 
    Expédition depuis Inde vers Etats-Unis

    Quantité disponible : 18 disponibles

    Ajouter au panier

    LeatherBound. Etat : New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 28. A perfect gift for your loved ones. Reprinted from 1961 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume 1-3sup. Language: English Pages: 28 Volume 1-3sup. …

  • Langue : anglais

    • Couverture rigide
    • impression à la demande

    Vendeur : S N Books World, Delhi, IndeS N Books World

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 31,24

     Frais de port gratuits 
    Expédition depuis Inde vers Etats-Unis

    Quantité disponible : 18 disponibles

    Ajouter au panier

    LeatherBound. Etat : New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 264. A perfect gift for your loved ones. Reprinted from 1961 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume 1 Language: English Pages: 264 Volume 1. …

  • Langue : anglais

    Edité par Springer, 1987

    3540179801 / 9783540179801

    • Couverture souple
    • impression à la demande

    Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 78,89

    EUR 7,58 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 4 disponibles

    Etat : New. Print on Demand pp. 156 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

  • Langue : anglais

    Edité par Springer Berlin Heidelberg Jul 1987, 1987

    3540179801 / 9783540179801

    • Couverture souple
    • impression à la demande

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 64,19

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponibles

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 156 pp. Englisch.…

  • Langue : anglais

    Edité par Springer, 1987

    3540179801 / 9783540179801

    • Couverture souple
    • impression à la demande

    Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 79,43

    EUR 9,95 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 4 disponibles

    Etat : New. PRINT ON DEMAND pp. 156.

  • Langue : anglais

    Edité par Springer Berlin Heidelberg, 1987

    3540179801 / 9783540179801

    • Couverture souple
    • impression à la demande

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 48,37

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 w.…

  • Langue : anglais

    Edité par Springer, Springer Jul 1987, 1987

    3540179801 / 9783540179801

    • Couverture souple
    • impression à la demande

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 53,49

    EUR 60,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible

    Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 156 pp. Englisch.…