Engelhardt Kai (17 results)
Language: English
Published by Cambridge University Press, 2008
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 86.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, 2008
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 87.84
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press CUP, 2008
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 120.96
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 436.
Language: English
Published by Cambridge University Press, 1998
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contact seller5-star sellerCondition: Used - Very good
US$ 128.52
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Language: English
Published by Cambridge University Press, 1999
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 147.83
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
Language: English
Published by Cambridge University Press, 2008
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 125.66
US$ 35.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part…on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Language: English
Published by Cambridge University Press, 1999
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 185.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, 1999
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 188.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Language: English
Published by Cambridge University Press, 1999
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 187.09
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 1999
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 193.34
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Language: English
Published by Cambridge University Press, 1999
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 193.32
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Language: English
Published by Cambridge University Press, 1999
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 200.81
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
GWB - Kommentar: Vergaberecht
Amelung, Steffen; Badenhausen-Fähnle, Elisabeth; Behrens, Hans-Werner; Braun, Christian; Conrad, Gunnar; Csaki, Alexander; Damaske, Thomas; Diemon-Wies, Ingeborg; Dippel, Norbert; Eßig, Michael; Fehns-Böer, Gundula; Fülling, Daniel; Gaus, Michael; Gielen, Julia; Gnittke, Katja; Hattig, Oliver; Heller, Hans; Hofmann, Jakob; Horn, Lutz; Jularic, Mirko; Kadenbach, Wiltrud; Kaelble, Hendrik; Knauff, Matthias; Lischka, Sebastian; Lux, Johannes; Mockel, Ute; Müller, Hans-Peter; Pfohl, Benjamin; Radu, Magnus; Rieder, Heike; Röbke, Marc; Schneevogl, Kai-Uwe; Schröder, Holger; Sterner, Frank; Stoye, Jörg; Sudbrock, Christian; Traupel, Tobias; Tugendreich, Bettina; Engelhardt, Benjamin Von; Wagner, Christian-David; Delcuvé, Frederic
- Hardcover
Seller: Jasmin Berger, Sassnitz, GermanyJasmin Berger
Contact seller5-star sellerCondition: Used - Near fine
US$ 107.66
US$ 63.88 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Gut bis sehr gut. 2. Auflage. Die aktualisierte 2. Auflage des Kommentars, erweitert um die Kommentierung des Wettbewerbsregistergesetzes. Seit der umfänglichen Reform des Vergaberechts im Jahre 2016 hat der vergaberechtliche Bereich des Gesetzes gegen Wettbewerbsbeschränkungen (GWB) wieder Einiges an Änder…ungen erfahren. Im Nachgang der Reform sind bis heute zahlreiche offene Fragen durch die Rechtsprechung beantwortet worden. Der Kommentar trägt sowohl diesem Umstand, als auch dem hohen Stellenwert des GWB Rechnung und bietet ein wertvolles Werkzeug für die tägliche Arbeit in der vergaberechtlichen Praxis. Zusätzlich zu der Kommentierung zum GWB enthält die aktuelle Auflage nun auch eine Kommentierung zum WRegG! Das GWB beinhaltet insbesondere folgende Regelungen betreffend • Öffentlich-öffentliche Zusammenarbeit • Vergabe von Konzessionen • Vergabe von Personenverkehrsleistungen im Eisenbahnverkehr • Sonderregime der sozialen und anderen besonderen Dienstleistungen • Innovationspartnerschaft • Leistungsbeschreibung • Ausschlussgründe mangels Eignung der Unternehmen • Selbstreinigung und Ausschlusszeiträume • Auftragsänderungen während der Vertragslaufzeit nebst Gesetzesbegründungen.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: Used - Fine
US$ 130.34
US$ 49.07 shippingShips from Germany to U.S.A.Quantity: 1 available
Gebundene Ausgabe. Condition: Sehr gut. Gebraucht - Sehr gut SG - leichte Beschädigungen oder Verschmutzungen, ungelesenes Mängelexemplar, gestempelt, Versand Büchersendung - Der Gesetzgeber hat die vergaberechtlichen Vorschriften des GWB im Jahr 2016 aufgrund der neuen europäischen Vergaberichtlinien umfassend überarbeitet. Der… Regelungsumfang hat hierbei erheblich zugenommen, insbesondere hat das GWB grundlegende Vorschriften der Vergabeverordnungen und Vergabeordnungen übernommen. Das GWB hat in der täglichen Vergabepraxis daher deutlich an Bedeutung gewonnen.Das GWB beinhaltet insbesondere folgende Neuregelungen: - Öffentlich-öffentliche Zusammenarbeit - Vergabe von Konzessionen - Vergabe von Personenverkehrsleistungen im Eisenbahnverkehr - Sonderregime der sozialen und anderen besonderen Dienstleistungen - Innovationspartnerschaft - Leistungsbeschreibung - Ausschlussgründe mangels Eignung der Unternehmen - Selbstreinigung und Ausschlusszeiträume - Auftragsänderungen während der Vertragslaufzeit Der Kommentar zum GWB-Vergaberecht berücksichtigt die Neuerungen der Vergaberechtsreform 2016 sowie die aktuelle Rechtsprechung und erläutert die Vergabevorschriften prägnant, praxisgerecht und wissenschaftlich fundiert. Ergänzt wird das Werk durch die Gesetzesbegründung des Bundestages (BT-Drs. 18/6281). Sie erhalten hierdurch ein wertvolles Hilfsmittel für die tägliche Vergabepraxis.
Language: English
Published by Cambridge University Press, 2008
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 120.07
US$ 8.79 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 436 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Language: English
Published by Cambridge University Press, 2008
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 130.37
US$ 11.56 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 436.
Language: English
Published by Cambridge University Press, 2008
Series: Book 29 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 94.17
US$ 56.90 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Graduate text in formal methods in computer science.InhaltsverzeichnisPart I. Theory: 1. Introduction to data refinement 2. Simulation as a proof method for data refinement 3. Relations and recursion 4. Properties of…simulation 5.
