Beckert h (40 Ergebnisse)
- Softcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 18,69
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 18,42
EUR 3,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 16,83
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 32,97
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 31,63
EUR 4,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Weitere Bilder
- Softcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, DeutschlandUniversitätsbuchhandlung Herta Hold GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 16,00
EUR 30,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
2007th ed. 15 x 23 cm. 687 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Gesundes Wohnen - Wechselbeziehungen zwischen Mensch und gebauter Umwelt. Ein Kompendium.
Beckert, J. (Hrsg.), F. P. Mechel (Hrsg.) und H.-O. Lamprecht (Hrsg.):
- Hardcover
Anbieter: Antiquariat Olaf Drescher, Nuthe-Urstromtal OT Nettgendorf, DeutschlandAntiquariat Olaf Drescher
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 14,00
EUR 13,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
417 S. Zustand: Kleiner Besitzstempel auf Vorsatz, sonst wie neu. Sprache: Deutsch Gewicht in Gramm: 2000 30x21,5cm, Orig.-Pappband, geb.
- Weitere Bilder
Verlag: Akademische Verlagsgesellschaft Geest & Portig K.-G., Leipzig :, 1967
- Hardcover
Anbieter: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, DeutschlandGebrauchtbücherlogistik H.J. Lauterbach
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 14,75
EUR 25,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Gut. 8. durchges. Aufl. 23,5cm; XXVI.; 668; Hardcover. Zustand: Gut bis Sehr Gut gering gebräunt (Innen); Besitzerstempel; Einband Außen hat geringe bis leichte Gebrauchsspuren; Nichtöffentliches Archivex. mit Klebestreifenrest (Außen); * Die Photos sind original von uns erstellt worden, u.a. erkennbar an ein…em kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.
- Weitere Bilder
Verlag: Akademische Verlagsgesellschaft Geest & Portig K.-G., Leipzig :, 1965
- Hardcover
Anbieter: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, DeutschlandGebrauchtbücherlogistik H.J. Lauterbach
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 16,50
EUR 25,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Gut. 23,5cm; XV.; 243; Hardcover. Zustand: Gut bis Sehr Gut gering gebräunt (Innen); Besitzerstempel; Einband Außen hat geringe bis leichte Gebrauchsspuren; Nichtöffentliches Archivex. mit Klebestreifenrest (Außen); * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stü…ck Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.
Sprache: Deutsch
Verlag: Akademie-Verlag, Berlin,, 1969
- Softcover
Anbieter: Clerc Fremin, Steingaden, DeutschlandClerc Fremin
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 18,00
EUR 22,15 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover, Heft. von Seite 386 bis 448 Zustand: Keine Beschädigungen, keine Eintragungen, lichtrandig. Rücken, Ecken, Kanten sind gut. Sprache: Deutsch Gewicht in Gramm: 175.
- Weitere Bilder
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 23,29
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. KlappentextrnrnThe Caucasus is developing into a vital strategic region. It emerged from the Soviet Union s shadow in 1991 and spawned wild oil and gas speculation, and U.S. policy makers developed relationships with the region s countries as it.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 22,12
EUR 60,46 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - Joint urban operations have grown in importance since the early 1990's, with doctrine on the verge of production. This paper captures the joint urban warfare phenomenon of the past decade, its emergence in the field of military art, and the directions that it will likely take. Developing alon…gside joint urban warfare doctrine is the transformation of the U.S. Army. The transformation will provide the Joint Force Commander new roles and missions for Army forces in the joint team. The study recommends strategic descent as one such role. The descent describes a single powerful blow-a coup de main-delivered at the outset of a campaign or operation. The descent can provide an early decision in the conflict or seize the initiative for the joint force before it completely arrives into theater. The objective forces of the Army will be capable of non-littoral descents in particular, given their new strategically responsive capabilities. For urban operations, the joint commander can avoid the long buildup of forces by deploying the objective Army forces rapidly to establish U.S. presence in theater. The unique capabilities being developed for the objective force will enrich the joint commander's menu of military options for future joint urban operations.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 27,50
EUR 60,48 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - The Caucasus is developing into a vital strategic region. It emerged from the Soviet Union's shadow in 1991 and spawned wild oil and gas speculation, and U.S. policy makers developed relationships with the region's countries as it matured. However, ethnic tensions and separatist movements in…the Caucasus still pose a significant threat to American interests. Will the U.S. military intervene to stabilize the Caucasus by 2010 This monograph explores this question. It introduces the reader to the Caucasus' complexity and presents factors affecting a military intervention decision. It presents three likely contingencies that may require U.S. force intervention before 2010: peacekeeping in the Nagorno-Karabakh region, stabilization of the Georgian or Azerbaijani governments, or prevention of ethnic cleansing. It also provides a summary of each contingency compared to the 1999 National Security Strategy's criteria for deploying U.S. forces to assess the probability of intervention. The monograph is a passport to the Caucasus, removing the mystery from it to assess its operational challenges. The key to success in future military operations there is understanding the Caucasus' diversity and it's emerging international significance.
- Weitere Bilder
- Hardcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Sehr gut
EUR 20,00
EUR 26,93 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
4°, gebundene Ausgabe. Zustand: Sehr gut. 417 Seiten : mit Abbildungen : Ausgetragenes Bibliotheksexemplar, Inventarnummern-Etikett über Rücken; ansonsten neuwertig; insgesamt als sehr gut bewertet B03-02-01F Sprache: Deutsch Gewicht in Gramm: 1693.
- Weitere Bilder
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 41,49
EUR 61,30 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - Joint urban operations have grown in importance since the early 1990's, with doctrine on the verge of production. This paper captures the joint urban warfare phenomenon of the past decade, its emergence in the field of military art, and the directions that it will likely take. Developing alongside j…oint urban warfare doctrine is the transformation of the U.S. Army. The transformation will provide the Joint Force Commander new roles and missions for Army forces in the joint team. The study recommends strategic descent as one such role. The descent describes a single powerful blow-a coup de main-delivered at the outset of a campaign or operation. The descent can provide an early decision in the conflict or seize the initiative for the joint force before it completely arrives into theater. The objective forces of the Army will be capable of non-littoral descents in particular, given their new strategically responsive capabilities. For urban operations, the joint commander can avoid the long buildup of forces by deploying the objective Army forces rapidly to establish U.S. presence in theater. The unique capabilities being developed for the objective force will enrich the joint commander's menu of military options for future joint urban operations.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Sprache: Deutsch
Verlag: Akademie-Verlag, Berlin,, 1966
- Softcover
Anbieter: Clerc Fremin, Steingaden, DeutschlandClerc Fremin
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 31,00
EUR 22,15 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Seite T1-T230 Zustand: Keine Beschädigungen, mit einer Zueignung auf dem Einband. Kleine Risse am Rücken. Bindung, Ecken und Kanten sind gut. Sprache: Deutsch Gewicht in Gramm: 526.
Sprache: Deutsch
Verlag: Akademie-Verlag, Berlin,, 1966
- Softcover
Anbieter: Clerc Fremin, Steingaden, DeutschlandClerc Fremin
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 31,00
EUR 22,15 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Seite T1-T230 Zustand: Keine Beschädigungen, keine Eintragungen. Kleine Risse am Rücken. Bindung, Ecken und Kanten sind gut. Sprache: Deutsch Gewicht in Gramm: 526.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,65
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 128,98
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Verification of Object-Oriented Software. The KeY Approach | Foreword by K. Rustan M. Leino | Bernhard Beckert (u. a.) | Taschenbuch | xxix | Englisch | 2007 | Springer | EAN 9783540689775 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartma…nn[at]springer[dot]com | Anbieter: preigu.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 65,16 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Long gone are the days when program veri cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we w…ant to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di erent c- trol ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.
Verification of Object-oriented Software: The Key Approach
Beckert, Bernhard (Editor)/ Hahnle, Reiner (Editor)/ Schmitt, Peter H. (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 160,36
EUR 17,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 658 pages. 9.00x6.00x1.00 inches. In Stock.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 113,20
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 188,13
EUR 17,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 736 pages. 9.00x6.00x2.00 inches. In Stock.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 138,02
EUR 65,48 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 verific…ation, 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.
Verlag: Berlin Akad-Vlg, 1977
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb19 S. OBr. (SAW. Sitz.-Ber. d. math.-nat. Kl. 113/2). Sprache: Deutsch 0 gr.
Verlag: Berlin Akad-Vlg, 1990
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 4,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb22 S. OBr. (SAW. Sitz.-Ber. d. Math.-nat. Kl. 122/1). Sprache: Deutsch.
Verlag: Berlin Akad-Vlg, 1950
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 4,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb42 S. OBr. (SAW. Ber. über d. Verh. d. Math.-nat. Kl. 97/4). Sprache: Deutsch 0 gr.
Verlag: Berlin Akad-Vlg, 1951
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 4,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb22 S. OBr. Umschlag lichtrandig. Nachgedunkelt. (Berichte über die Verhandlungen der sächs. Akad. der Wiss. zu Leipzig Math.-naturwiss. Kl. 98/4). Sprache: Deutsch 0 gr.
Verlag: Beton, Düsseldorf, 1986
- Hardcover
- Erstausgabe
Anbieter: Versandantiquariat Rainer Kocherscheidt, Velbert, DeutschlandVersandantiquariat Rainer Kocherscheidt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht - Sehr gut
EUR 18,00
EUR 54,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Pappband. Zustand: Sehr gut. Erste Auflage. 417 S.; mit zahlr. teils farbigen Fotos, zahlr. Plänen u. Zeichnungen Size: 30,3 cm.
