Gesamtpreis (1 Artikel Artikel):
Versandziel:
david luckham (35 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (35)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (13)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (7)
- Gut oder Befriedigend (14)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (7)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Sprache: Englisch
Verlag: Addison-Wesley Professional, 2002
ISBN 10: 0201727897 ISBN 13: 9780201727890
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Sprache: Englisch
Verlag: Addison-Wesley Professional, 2002
ISBN 10: 0201727897 ISBN 13: 9780201727890
Anbieter: ThriftBooks-Phoenix, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Sprache: Englisch
Verlag: Addison-Wesley Professional, 2002
ISBN 10: 0201727897 ISBN 13: 9780201727890
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
South Africa Lesotho & Swaziland (Country Travel Guide)
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
South Africa Lesotho & Swaziland (Country Travel Guide)
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Good condition. 8th edition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. Bundled media such as CDs, DVDs, floppy disks or access codes may not be included.
-
The Power of Events : An Introduction to Complex Event Processing in Distributed Enterprise Systems
Sprache: Englisch
Verlag: Pearson Education, Limited, 2002
ISBN 10: 0201727897 ISBN 13: 9780201727890
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Lonely Planet England (Country Guide)
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Africa (Lonely Planet Multi Country Guides)
Sprache: Englisch
Verlag: Lonely Planet Publications 01/06/2007, 2007
ISBN 10: 1741044820 ISBN 13: 9781741044829
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,60
EUR 5,78 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
Africa (Lonely Planet Multi Country Guides)
Sprache: Englisch
Verlag: Lonely Planet Publications, 2007
ISBN 10: 1741044820 ISBN 13: 9781741044829
Anbieter: Reuseabook, Gloucester, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,59
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Damaged cover. The cover of is slightly damaged for instance a torn or bent corner.
-
Africa (Lonely Planet Multi Country Guides)
Sprache: Englisch
Verlag: Lonely Planet Publications, 2007
ISBN 10: 1741044820 ISBN 13: 9781741044829
Anbieter: Reuseabook, Gloucester, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,59
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover.
-
Africa (Lonely Planet Multi Country Guides)
Sprache: Englisch
Verlag: Lonely Planet Publications 01/06/2007, 2007
ISBN 10: 1741044820 ISBN 13: 9781741044829
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 4,11
EUR 8,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Event Processing for Business: Organizing the Real-Time Enterprise
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 2,63
EUR 14,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
Zustand: Muy bueno. : Descubre Inglaterra con la guía de Lonely Planet. Esta guía te ofrece información detallada sobre los mejores lugares para visitar, desde los círculos de piedra prehistóricos de Avebury hasta la vibrante vida nocturna de Newcastle. Aprende a diferenciar las cervezas locales y disfruta de la naturaleza en la ruta Coast to Coast. Incluye entrevistas con un chef de renombre, un alcalde innovador y un guía de tours de fantasmas en York, ofreciendo una visión completa de la cultura y la vida cotidiana en Inglaterra. EAN: 9781741045901 Tipo: Libros Categoría: Otros Título: England Autor: David Else| Oliver Berry| Fionn Davenport| Belinda Dixon| Peter Dragicevich| Nana Luckham| Etain O'Carroll| Neil Wilson Editorial: Lonely Planet Idioma: en Páginas: 844 Formato: tapa blanda.
-
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Sprache: Englisch
Verlag: Addison-Wesley Longman, Amsterdam, 2002
ISBN 10: 0201727897 ISBN 13: 9780201727890
SonderangebotEUR 3,54
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
SonderangebotEUR 5,84
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
SonderangebotEUR 5,84
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
SonderangebotEUR 5,84
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Event processing for business. Organizing the real time strategy enterprise.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
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.
-
Sonderangebot
EUR 43,01
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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.
-
Programming with Specifications - An Introduction to ANNA: A Language for Specifying Ada Programs
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
ANNA A Language for Annotating Ada Programs: Reference Manual (Lecture Notes in Computer Science, 260)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,43
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,16
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Monographs in Computer Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,03
EUR 14,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 432 pages. 9.25x6.10x0.94 inches. In Stock.
-
Programming with Specifications
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 90,35
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Power of Events, The: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 89,42
EUR 14,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 400 pages. 9.25x7.50x1.00 inches. In Stock.
-
ANNA A Language for Annotating Ada Programs : Reference Manual
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
![Bild des Verkäufers für The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems (paperback) [paperback] zum Verkauf von Die Buchgeister](https://pictures.abebooks.com/inventory/md/md32376285275.jpg)
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems (paperback) [paperback]
Sprache: Englisch
Verlag: Addison-Wesley Professional, 2013
ISBN 10: 0321951832 ISBN 13: 9780321951830
Anbieter: Die Buchgeister, Ludwigsburg, BW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. 2013, Bibliotheksexemplar - Einband: an den Rändern abgerieben - Seiten: einige Ecken geknickt.
-
Taschenbuch. Zustand: Neu. Programming with Specifications | An Introduction to ANNA, A Language for Specifying Ada Programs | David Luckham | Taschenbuch | xvi | Englisch | 2012 | Springer | EAN 9781461396871 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Topics - what this book is about, - its intended audience, - what the reader ought to know, - how the book is organized, - acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan guage. In the past, the word 'specification' has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications.
