Luckham david c (36 résultats)
- Couverture rigide
Vendeur : Better World Books: West, Reno, NV, Etats-UnisBetter World Books: West
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 8,33
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Hardware Design and Simulation in VAL/VHDL (The Springer International Series in Engineering and Computer Science)
Augustin, Larry M.; Luckham, David C.; Gennart, Benoit A.; Youm Huh; Stanculescu, A.
- Couverture rigide
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 13,04
EUR 6,11 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Very Good. Hardcover. Very Good (blue boards). Name inside. Text block clean and unmarked. Tight binding.
- Couverture rigide
Vendeur : Shore Books, London, Royaume-UniShore Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 14,50
EUR 12,90 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
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 off…ice 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).
ANNA a Language for Annotating Ada Programs : Reference Manual
Henke, Friedrich W. von, Krieg-Brueckner, Bernd, Luckham, David C., Owe, Olaf
- Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 34,12
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
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.
- Couverture rigide
- Édition originale
Vendeur : Antiquariat Bookfarm, Löbnitz, AllemagneAntiquariat Bookfarm
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 12,32
EUR 40,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. 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.
- Couverture rigide
Vendeur : Ammareal, Morangis, FranceAmmareal
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Bon
EUR 43,01
EUR 16,50 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
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 t…his item's net price to charity organizations.
Anna a Language for Annotating Ada Programs : Reference Manual
Luckham, David C.; Henke, Friedrich W. Von; Krieg-brueckner, Bernd; Owe, Olaf
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 62,21
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : As New. Unread book in perfect condition.
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 62,47
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 3 disponible(s)
Etat : New. pp. 288 Index.
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science, 260)
Luckham, David C.; Henke, Friedrich W. Von; Krieg-Brueckner, Bernd; Owe, Olaf
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 59,62
EUR 14,05 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Anna a Language for Annotating Ada Programs : Reference Manual
Luckham, David C.; Henke, Friedrich W. Von; Krieg-brueckner, Bernd; Owe, Olaf
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 73,39
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New.
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science)
Olaf Owe, David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,36
EUR 18,17 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Paperback. Etat : New.
ANNA A Language for Annotating Ada Programs
David C. Luckham Bernd Krieg-Brueckner Friedrich W. von Henke
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 78,47
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 156.
Hardware Design and Simulation in VAL/VHDL (The Springer International Series in Engineering and Computer Science, 112)
Augustin, Larry M.; Luckham, David C.; Gennart, Benoit A.; Youm Huh; Stanculescu, A.
- Couverture rigide
Vendeur : BOOKWEST, Phoenix, AZ, Etats-UnisBOOKWEST
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 81,07
EUR 4,36 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : New. US SELLER SHIPS FAST FROM USA.
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science, 260)
Luckham, David C.; Henke, Friedrich W. von; Krieg-Brueckner, Bernd; Owe, Olaf
- Couverture souple
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 82,37
EUR 6,08 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : New. In shrink wrap. Looks like an interesting title.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 61,24 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Hardware Design and Simulation in VAL/VHDL (The Springer International Series in Engineering and Computer Science)
Augustin, Larry M. M.; Luckham, David C.; Gennart, Benoit A.; Youm Huh; Stanculescu, A.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 117,07
EUR 14,05 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Hardware Design and Simulation in VAL/VHDL (The Springer International Series in Engineering and Computer Science, 112)
Augustin, Larry M.; Luckham, David C.; Gennart, Benoit A.; Youm Huh; Stanculescu, A.
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 117,07
EUR 14,05 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Hardware Design and Simulation in Val/Vhdl
Augustin, Larry M.; Luckham, David C.; Gennart, Benoit A.; Youm Huh; Stanculescu, A.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 132,68
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New.
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 148,65
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 344.
Hardware Design and Simulation in VAL/VHDL
Augustin, Larry M.; Luckham, David C.; Gennart, Benoit A. (Stanford University, Computer Systems Laboratory, CA, USA); Huh, Youm (Stanford University
- Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 135,85
EUR 10,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
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. . . . .
Hardware Design and Simulation in VAL/VHDL
Augustin, Larry M.; Luckham, David C.; Gennart, Benoit A. (Stanford University, Computer Systems Laboratory, CA, USA); Huh, Youm (Stanford University
- Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 171,83
EUR 9,18 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
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.
Hardware Design and Simulation in Val/VHDL
Larry M. Augustin|David C. Luckham|Benoit A. Gennart|Youm Huh|A. Stanculescu
- Couverture rigide
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,20
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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.
Hardware Design and Simulation in VAL/VHDL (The Springer International Series in Engineering and Computer Science, 112)
Augustin, Larry M., Luckham, David C., Gennart, Benoit A., Y
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 180,05
EUR 29,33 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Like New. Like New. book.
Hardware Design and Simulation in Val/Vhdl
Augustin, Larry M.; Luckham, David C.; Gennart, Benoit A.; Youm Huh; Stanculescu, A.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 213,27
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : As New. Unread book in perfect condition.
- Couverture rigide
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AllemagneBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 189,90
EUR 39,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
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
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 21,61
Frais de port gratuitsExpédition depuis Inde vers Etats-UnisQuantité disponible : 18 disponible(s)
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
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 27,92
Frais de port gratuitsExpédition depuis Inde vers Etats-UnisQuantité disponible : 18 disponible(s)
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.
ANNA A Language for Annotating Ada Programs
Luckham David C. Krieg-Brueckner Bernd Henke Friedrich W. von
- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 79,30
EUR 7,63 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 64,19
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
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.
ANNA A Language for Annotating Ada Programs
Luckham David C. Krieg-Brueckner Bernd Henke Friedrich W. von
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 79,74
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. PRINT ON DEMAND pp. 156.
