Przigoda (39 results)
- Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
US$ 17.68
US$ 34.33 shippingShips from Germany to U.S.A.Quantity: 1 available
xii, 255 p. Hardcover. 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.
- Hardcover
Seller: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, GermanyGebrauchtbücherlogistik H.J. Lauterbach
Contact seller5-star sellerCondition: Used - Very good
US$ 26.17
US$ 29.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Gut. 29,5x21cm 188 Seiten. Hardcover. Zustand: Sehr Gut, eher ungelesen (Innen); Besitzerstempel; Einband (Außen) hat geringe Gebrauchsspuren; Sauberes Archivex. mit Klebestreifenrest (Außen); Schutzumschlag fehlt, oder es gibt keinen; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an ei…nem 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.
Schwarzes Silber. Die Geschichte des Steinkohlenbergwerks Sophia-Jacoba. Hrsg. von der Sophia-Jacoba GmbH Hückelhoven.
SOPHIA-JACOBA GmbH. - Farrenkopf Michael u. Przigoda Stefan:
- Softcover
Seller: Antiquariat Heinzelmännchen, Stuttgart, GermanyAntiquariat Heinzelmännchen
Contact seller5-star sellerCondition: Used
US$ 33.01
US$ 22.89 shippingShips from Germany to U.S.A.Quantity: 1 available
188 Seiten. Mit zahlreichen teils farbigen u. meist faks. Abbildungen. Farbig illustrierter OKart.-Einband. Gutes Exemplar. 29x21 cm Sprache: Deutsch Gewicht in Gramm: 1000.
Published by Verlag Glückauf, Essen, 1997
- Hardcover
Seller: AixLibris Antiquariat Klaus Schymiczek, Aachen, GermanyAixLibris Antiquariat Klaus Schymiczek
Contact seller5-star sellerAssociation member: BOEV
Condition: Used
US$ 35.36
US$ 42.35 shippingShips from Germany to U.S.A.Quantity: 1 available
4°. Erste Auflage, 188 S. Farbig illustr. OPappband. Mit zahlr. teils farbigen Abbildungen. Einband gering berieben und an den Kapitalen leicht bestoßen.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 191.35
US$ 16.15 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 191.35
US$ 16.15 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 226.82
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 235.16
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 255.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 165.15
US$ 80.11 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Nils Przigoda (u. a.) | Taschenbuch | xii | Englisch | 2019 | Springer International Publishing | EAN 9783319892146 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juer…gen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 189.18
US$ 71.03 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describ…e how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 242.93
US$ 33.69 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
Przigoda, Nils/ Wille, Robert/ Przigoda, Judith/ Drechsler, Rolf
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 269.88
US$ 13.48 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 268 pages. 9.25x6.10x0.63 inches. In Stock.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils (Author)/ Wille, Robert (Author)/ Przigoda, Judith (Author)/ Drechsler, Rolf (Author)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 272.63
US$ 16.85 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 268 pages. 9.25x6.10x0.87 inches. In Stock.
- Hardcover
Seller: Antiquariaat Hovingh, Haarlem, NetherlandsAntiquariaat Hovingh
Contact seller5-star sellerCondition: Used - Fine
US$ 41.26
US$ 28.61 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Hardcover. Condition: Fine. Ex libris in front, otherwise a very neat copy.
Language: German
Published by Wallstein, 2022
Series: Wert der Vergangenheit, Book 5 of 6. Book 5 of 6 - Wert der Vergangenheit
- Hardcover
Seller: A43 Kulturgut, Münster, GermanyA43 Kulturgut
Contact seller5-star sellerCondition: Used - Fine
US$ 18.85
US$ 51.50 shippingShips from Germany to U.S.A.Quantity: 2 available
Gb - (OVK: 32,00). Condition: Sehr gut. 288 S. MÄNGELEXEMPLAR: UNGELESEN und VOLLSTÄNDIG, aber mit leichten äußeren LAGER-/TRANSPORTSPUREN. Mit einem STEMPEL im BUCHSCHNITT als Mängelexemplar gekennzeichnet. Sofort versandfertig! Sprache: Deutsch Gewicht in Gramm: 522.
Language: German
Published by Wallstein Verlag, 2022
Series: Wert der Vergangenheit, Book 5 of 6. Book 5 of 6 - Wert der Vergangenheit
- Hardcover
Seller: Studibuch, Stuttgart, GermanyStudibuch
Contact seller5-star sellerCondition: Used - Fine
US$ 13.79
US$ 71.30 shippingShips from Germany to U.S.A.Quantity: 1 available
hardcover. Condition: Sehr gut. 288 Seiten; 9783835352728.2 Gewicht in Gramm: 1.
Language: German
Published by Bochum,, 2002
- Hardcover
Seller: Steeler Antiquariat, Essen, GermanySteeler Antiquariat
Contact seller5-star sellerCondition: Used
US$ 11.79
US$ 80.11 shippingShips from Germany to U.S.A.Quantity: 9 available
Pappband, verlagsfrisch. 460 S., 19 Abbildungen, 19 Tabellen, umfangreiche Register (=Veröffentlichungen aus dem Deutschen Bergbau-Museum; Nr.102) Diese anschauliche Darstellung ist ein wertvoller Beitrag zur Geschichte des industriellen Verbandswesens im Bergbau, indem die internen Machtverhältnisse, Handlungs- und Entscheidung…sstrukturen sowie die Stellung der Bergbauverbände im schwerindustriellen Interessenverbandsystems aufgezeigt werden. Desweiteren zeigt sie die Entsehungsbedingungen von Bergbau-Verein und Zechenverband auf sowie die Veränderung ihrer Funktions- und Aufgabenprofile. Sprache: Deutsch.
More imagesPublished by Bochum, Selbstverlag des Deutschen Bergbau-Museums, 2005, 2005
Seller: Buchantiquariat Uwe Sticht, Einzelunter., Hagen, GermanyBuchantiquariat Uwe Sticht, Einzelunter.
Contact seller5-star sellerCondition: Used
US$ 20.64
US$ 57.22 shippingShips from Germany to U.S.A.Quantity: 1 available
fester Pappband, mit farbigen Deckelphotos, gr. DinA 5, 926 Seiten, reines Verzeichnis der Filmnachweise mit unterschiedlich umfangreichen Angaben zum Film, KEINE Abbildungen, KEIN Text, Einband mit Gebrauchsspuren, schief/verzogen, eine Ecke stärker bestoßen, Rückdeckel leicht beschabt, Kopfschnitt leicht bestoßen und gering fl…eckig, trotz der Gebrauchs- und/oder Altersspuren SEHR ordentlicher Zustand Inventar zur Überlieferung in Archiven, Museen und anderen Dokumentationsstellen in der Bundesrepublik Deutschland; bearbeitet unter Mitarbeit von Holger Menne; ISBN 3937203125; Inhalt: Einleitung; Filmnachweise nach Bergbausparten; Schriftliche Überlieferung im Bergbau-Archiv; Beteiligte Archive und Institutionen; Anhang; Register; wegen des hohen Gewichts Versand in Länder außerhalb der EU nur auf Anfrage und Portoerhöhung möglich / higher shipping-costs outside EU.
Language: German
Published by Hückelhoven,, 1997
- Hardcover
Seller: Steeler Antiquariat, Essen, GermanySteeler Antiquariat
Contact seller5-star sellerCondition: Used
US$ 35.36
US$ 80.11 shippingShips from Germany to U.S.A.Quantity: 1 available
4°, Pappband. 188 S., zahlreiche s/w-Abbildungen, Sprache: Deutsch Gewicht in Gramm: 0.
Language: German
Published by Bochum, Deutsches Bergbaumuseum,, 2005
- Hardcover
Seller: Steeler Antiquariat, Essen, GermanySteeler Antiquariat
Contact seller5-star sellerCondition: Used
US$ 35.36
US$ 80.11 shippingShips from Germany to U.S.A.Quantity: 1 available
Pappband. 926 S., weist 2432 Filme nach Sprache: Deutsch.
- Softcover
Seller: Antiquariat Bernhardt, Kassel, GermanyAntiquariat Bernhardt
Contact seller5-star sellerCondition: Used - Fine
US$ 67.08
US$ 57.11 shippingShips from Germany to U.S.A.Quantity: 1 available
Karton Karton. Condition: Sehr gut. 926 Seiten, Hervorragender Zustand. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Po…st. Sprache: Deutsch Gewicht in Gramm: 2090.
- Hardcover
Seller: Antiquariat Der Papiersammler, Wetter, GermanyAntiquariat Der Papiersammler
Contact seller4-star sellerCondition: Used
US$ 58.88
US$ 44.58 shippingShips from Germany to U.S.A.Quantity: 1 available
L & H, Berlin, 2018, , 273, Hardcover (gebunden), 8°, ohne Schutzumschlag, Seiten leicht wellig.
Glück auf! Ruhrgebiet. Der Steinkohlenbergbau nach 1945. Katalog der Ausstellung des Deutschen Bergbau-Museums Bochum vom 6. Dezember 2009 bis 2. Mai 2010. (Veröffentlichungen aus dem Deutschen Bergbau-Museum Bochum, Nr. 169, zugleich: Schriften des Bergbau-Archivs, Nr. 21).
Farrenkopf, Michael, Michael Ganzelewski und Stefan Przigoda (Hrsg.):
- Hardcover
Seller: Antiquariat Dr. Josef Anker, Kiefersfelden, BAY, GermanyAntiquariat Dr. Josef Anker
Contact seller5-star sellerCondition: Used
US$ 58.94
US$ 91.56 shippingShips from Germany to U.S.A.Quantity: 1 available
577 S., sehr zahlreiche farbige und s/w Abbildungen, 29 x 23 cm, farbig illustrierter Pappband INHALT: Grußworte; Vorwort; 1. Der Steinkohlenbergbau nach 1945 - Grundlagen und allgemeine Entwickung (Zur Geschichte des Ruhrbergbaus nach 1945 - ein Überblick; Rahmenbedingungen der Verbandspolitik im Ruhrbergbau; Arbeitsbeziehungen… und Sozialpolitik im Ruhrbergbau); 2. Der Neubeginn nach dem Zweiten Weltkrieg (Ein gordischer Knoten - Der Ruhrbergbau nach 1945; Vom IVB zur IG BCE - Gewerkschaftsentwicklung und Ruhrbergbau); 3. Wirtschaftsboom der 1950er Jahre (Zur Geschichte der Verwendung der Steinkohle; Grundlegende Entwicklung der deutschen Eisen- und Stahlindustrie; Kokereitechnische Entwicklungen und Maßnahmen zu einer umweltverträglichen Koksproduktion); 4. Kohlenkrise - Das erste Jahrzehnt 1958 - 1968 (Die Krise des Ruhrbergbaus bis zur Gründung der Ruhrkohle AG 1957/58 bis 1969; Der Weg zur Einheitsgesellschaft Ruhrkohle AG); 5. Technik im Steinkohlenbergbau (Bergbautechnik nach 1945; Gewinnungstechnik im Ruhrkohlenbergbau; Gebirgsdruck und Grubenausbau unter besonderer Berücksichtigung des Strebausbaus; Der Hydrobergbau im Ruhrgebiet); 6. Kohlenkrise und Anpassung (Vom Hausbrand zum Wärmemarkt. Wandel und Verschwinden eines Absatzmarktes für Ruhrkohle; Montanmitbestimmung und Arbeitskämpfe im Ruhrbergbau; Zur Entwicklung der Bergbauzulieferindustrie); 7. Die Ewigkeitslasten des Steinkohlenbergbaus; 8. Anhang. Sehr guter Zustand Sprache: Deutsch Gewicht in Gramm: 3050.
- Softcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
US$ 212.07
US$ 45.72 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: gut. Bergbaufilme: Inventar zur Überlieferung in Archiven, Museen und anderen Dokumentationsstellen in der Bundesrepublik Deutschland (Schriftenreihe des Bergbau-Archivs) In deutscher Sprache. pages.
Automated Validation & Verification of UML/OCL Mod
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
- Hardcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 142.86
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
Automated Validation & Verification of UML/OCL Mod
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
- Softcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 142.86
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 148.84
US$ 6.29 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Hardcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 148.84
US$ 7.78 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer International Publishing Jun 2019, 2019
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 189.18
US$ 26.32 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the auth…ors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. 268 pp. Englisch.
Language: English
Published by Springer International Publishing Jan 2018, 2018
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 189.18
US$ 26.32 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors als…o describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. 268 pp. Englisch.
