Gesamtpreis (1 Artikel Artikel):
Versandziel:
bernhard ulbrich (23 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (22)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (1)
- 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 (14)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (10)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Gekonnt vortragen und präsentieren
Anbieter: Versandantiquariat Jena, Jena, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: deutliche Gebrauchsspuren. 2. Auflage. mak. Bibl. TitelGekonnt vortragen und präsentieren / Martin Hartmann/Bernhard Ulbrich/Doris Jacobs-Strack Person(en)Hartmann, Martin (Verfasser) Ulbrich, Bernhard R. M. (Verfasser) Jacobs-Strack, Doris (Verfasser) Ausgabe2., völlig. überarb. und neu ausgestattete Aufl. VerlagWeinheim ; Basel : Beltz Zeitliche EinordnungErscheinungsdatum: 2004 Umfang/Format142 S. : Ill., graph. Darst. ; 21 cm ISBN/Einband/Preis978-3-407-36126-4 kart. : EUR 14.90 (DE), EUR 15.40 (AT), sfr 27.20 3-407-36126-2 kart. : EUR 14.90 (DE), EUR 15.40 (AT), sfr 27.20 Bestellnummer(n)36126 EAN9783407361264 BeziehungenBeltz on top : Beruf und Qualifikation SchlagwörterVortragstechnik Präsentation Sachgruppe(n)430 Deutsch In deutscher Sprache. 141 pages. 207x134 mm.
-
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Sonderangebot
EUR 3,14
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Weltkrampf
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 17,50
EUR 3,78 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Weltkrampf: Cartoons von Gregor Brickart, Gedichte von Bernhard R. M. Ulbrich
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 18,05
EUR 11,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 72 pages. German language. 6.89x0.35x8.70 inches. In Stock.
-
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,64
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Deductive Software Verification - Future Perspectives: Reflections on the Occasion of 20 Years of Key
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030643530 ISBN 13: 9783030643539
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,57
EUR 14,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 339 pages. 9.25x6.10x0.95 inches. In Stock.
-
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030643530 ISBN 13: 9783030643539
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field.We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods.This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations.
-
Deductive Software Verification - The KeY Book: From Theory to Practice (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 125,73
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Taschenbuch. Zustand: Neu. Deductive Software Verification - The KeY Book | From Theory to Practice | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxii | Englisch | 2016 | Springer | EAN 9783319498119 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Deductive Software Verification: The Key Book; from Theory to Practice
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319498118 ISBN 13: 9783319498119
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 183,97
EUR 17,22 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 736 pages. 9.00x6.00x2.00 inches. In Stock.
-
Deductive Software Verification - The KeY Book : From Theory to Practice
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY.This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.
-
Weltkrampf
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware Liebe, Ralf, Kölner Straße 58, 53919 Weilerswist 72 pp. Deutsch.
-
Weltkrampf : Cartoons von Gregor Brickart, Gedichte von Bernhard R. M. Ulbrich
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware.
-
Blüten und Früchte; 8. Band: Der Hofprediger - Die beiden Postler - Vetter Christen.
Sprache: Deutsch
Verlag: Stuttgart : Verlag der Buchhandlung der Evang. Gesellschaft, 1900
Anbieter: Schürmann und Kiewning GbR, Naumburg, Deutschland
Verkäuferbewertung 5 von 5 Sternen
SonderangebotEUR 18,85
EUR 60,00 Versand
Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb18 cm, Halbleinen. Zustand: Gut. 95 Seiten Einband berieben, leicht fleckig, Bindung gelockert, ein Blatt lose Sprache: Deutsch Gewicht in Gramm: 100.
-
Gekonnt vortragen und präsentieren.
Anbieter: Der Buchfreund, Wien, Österreich
Verkäuferbewertung 4 von 5 Sternen
Original-kartoniert. Zustand: Sehr gut. 8 Original-kartoniert de Berufe, Weiterbildung 142 pp.
-
Taschenbuch. Zustand: Neu. Weltkrampf | Cartoons von Gregor Brickart, Gedichte von Bernhard R. M. Ulbrich | Bernhard Ulbrich | Taschenbuch | Deutsch | 2026 | Liebe, Ralf | EAN 9783948682798 | Verantwortliche Person für die EU: Liebe, Ralf, Kölner Str. 58, 53919 Weilerswist, bestellung[at]verlag-ralf-liebe[dot]de | Anbieter: preigu.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 54 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 448 | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Taschenbuch. Zustand: Neu. Neuware 72 pp. Deutsch.
