Bakker Jaco (22 results)
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Good
US$ 10.37
US$ 6.66 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: 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.
Mathematical theory of program correctness. With the assistance of Arie de Bruin and Jeffery Zucker.
Published by Englewood Cliffs, Prentice-Hall, ,, 1980
- Hardcover
Seller: Antiquariat Gothow & Motzke, Berlin, GermanyAntiquariat Gothow & Motzke
Contact seller3-star sellerCondition: Used
US$ 37.50
US$ 11.32 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketGross - 8° / large - 8°, XVI/505 S./pp., Originalpappband (publisher's cardboard covers), Bibliotheksexemplar in gutem Zustand / exlibrary in good condition (Einband gering gebrauchsspurig / binding shows minor tear and wear, Stempel auf Titel / title stamped, Rückenschildchen / lettering pannel to the spine, Block sehr gut / co…ntents fine, keine Unterstreichungen oder Anstreichungen / no underlining or remarks, in Folie eingeschlagen / wrapped up in foil), Sprache: englisch.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 90.48
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- More images
Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings
Bakker, Jaco W. De; Roever, Willem-Paul de (EDT); Rozenberg, Grzegorz
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 129.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 132.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings
Bakker, Jaco W. De; Roever, Willem-Paul de (EDT); Rozenberg, Grzegorz
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 137.58
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 132.95
US$ 15.96 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings
Bakker, Jaco W. De; Roever, Willem-Paul de (EDT); Rozenberg, Grzegorz
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 132.94
US$ 19.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings
Bakker, Jaco W. De; Roever, Willem-Paul de (EDT); Rozenberg, Grzegorz
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 148.14
US$ 19.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- More images
Stepwise Refinement of Distributed Systems
Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 175.14
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1990 ed. The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely ac…tive research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 136.24
US$ 75.22 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume su…rvey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science)
Rozenberg, Grzegorz, De Roever, Willem-Paul, de Bakker, Jaco
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 220.93
US$ 33.31 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings: 430 (Lecture Notes in Computer Science, 430)
Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
US$ 168.11
US$ 86.60 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1990th.
Seller: Moby Dick, Noordwijk, NetherlandsMoby Dick
Contact seller5-star sellerCondition: Used
US$ 70.30
US$ 55.86 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Add to basketMIT Press 1996 cloth, 564 pp ISBN (9780262041546).
- More images
Stepwise Refinement of Distributed Systems
Bakker, Jacobus W. de|Roever, Willem-Paul de|Rozenberg, Grzegorz
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 108.12
US$ 55.73 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. The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The…contributions to this volume survey the .
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 162.87
US$ 26.17 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 154 pp. Englisch.
- More images
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 162.97
US$ 26.17 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 -The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions t…o this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications. 824 pp. Englisch.
- More images
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 112.13
US$ 79.63 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Stepwise Refinement of Distributed Systems | Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings | Jaco W. De Bakker (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1990 | Springer | EAN 9783540525592 | Verantwortliche Person für di…e EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.
- More images
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 125.36
US$ 68.26 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of th…e fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 824 pp. Englisch.
- More images
- Hardcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 162.87
US$ 68.26 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume integrates recent scientific advances across veterinary medicine and science. It starts with updates on increased knowledge of bed bugs and chelonians, which is continuously evolving and driven by technological advancements and imp…roved understanding of anatomy, ecology, immunology, and physiology. The book continues with an examination of current developments in animal nutrition, including the application of phytogenic feed additives in poultry, the ecological implications of ungulate browsing on forest regeneration, and the increasing use of nutrient-rich vermicompost in aquaculture. In addition, it highlights progress in reproductive biology and biotechnology, focusing on methods that enhance genetic gain, preserve germplasm, and address infertility to improve reproductive efficiency. Collectively, the chapters offer a comprehensive and contemporary perspective on evolving research that is shaping the future of veterinary science.Books on Demand GmbH, Überseering 33, 22297 Hamburg 154 pp. Englisch.
- Hardcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 162.87
US$ 71.29 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
- More images
- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 162.87
US$ 79.63 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: Neu. Veterinary Medicine and Science Annual Volume 2025 | Jaco Bakker (u. a.) | Buch | Englisch | 2026 | IntechOpen | EAN 9781806312177 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
