Gesamtpreis (1 Artikel Artikel):
Versandziel:
luckham david (32 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (32)
- 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
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (7)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
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.
-
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.
-
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,09
EUR 8,04 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.
-
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: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 8,09
EUR 6,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
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,61
EUR 11,52 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.
-
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Anbieter: Sell Books, Elland, YORKS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 4,80
EUR 14,00 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Acceptable. Please see the condition note after this for details, if this is missing please consider Acceptable to mean poor quality that could include major staining, water damage, writing, missing dustjacket, etc etc. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.
-
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
Hardcover. 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
Hardcover. 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
Hardcover. 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.
-
ANNA a Language for Annotating Ada Programs : Reference Manual
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1987
ISBN 10: 3540179801 ISBN 13: 9783540179801
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
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.
-
Hardcover. 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,55
EUR 13,80 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,28
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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 72,57
EUR 14,40 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.
-
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,73
EUR 14,40 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 89,54
EUR 7,49 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used.
-
Programming with Specifications
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used.
-
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. ANNA A Language for Annotating Ada Programs | Reference Manual | David C. Luckham (u. a.) | Taschenbuch | v | Englisch | 1987 | Springer | EAN 9783540179801 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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.
-
Hardware Design and Simulation in VAL/VHDL (The Springer International Series in Engineering and Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,97
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hardware Design and Simulation in VAL/VHDL (The Springer International Series in Engineering and Computer Science, 112)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,97
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
