Bert Didier (49 results)
- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Good
US$ 40.97
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, July 13 (SALE Item)* 476 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duti…es, taxes, or fees required by recipient's country.
- Softcover
Seller: Démons & Merveilles, Joinville, FranceDémons & Merveilles
Contact seller5-star sellerCondition: Used - Fine
US$ 29.40
US$ 25.11 shippingShips from France to U.S.A.Quantity: 1 available
Condition: Fine. Très bon état - L'ouvrage qui n'a jamais été lu peut présenter de légères traces de stockage mais est du reste en très bon état. envoi rapide et soigné dans un emballage adapté depuis France. 15x23x2cm. 2008. Broché. 328 pages. Fine.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.25
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Recent Trends in Algebraic Development Techniques : 14th International Workshop, Wadt '99 Chateau De Bonas, September 15-18, 1 999 : Selected Papers
Wadt 9 (1999 Chateau De Bonas, France); Bert, Didier (EDT); Choppy, C.; Mosses, Peter
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.77
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Zb 2002 : Formal Specification and Development in Z and B
International Conference of B and Z Users (2nd : 2002 : Grenoble, France); Bowen, J. P. (EDT); Henson, M. C. (EDT); Robinson, Ken (EDT); Bert, Didier (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.21
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.Doss-Haus Books
Contact seller5-star sellerCondition: Used - Very good
US$ 71.23
US$ 6.00 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2651. [xiii, 545 p. : ill. ; 24 cm].
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.12
US$ 16.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.12
US$ 16.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.12
US$ 16.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.00
US$ 20.76 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.16
US$ 20.76 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science)
Jonathan P. Bowen, Martin C. Henson, Ken Robinson, Didier Bert
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.52
US$ 20.76 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.51
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Zb 2002 : Formal Specification and Development in Z and B
International Conference of B and Z Users (2nd : 2002 : Grenoble, France); Bowen, J. P. (EDT); Henson, M. C. (EDT); Robinson, Ken (EDT); Bert, Didier (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.51
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Recent Trends in Algebraic Development Techniques : 14th International Workshop, Wadt '99 Chateau De Bonas, September 15-18, 1 999 : Selected Papers
Wadt 9 (1999 Chateau De Bonas, France); Bert, Didier (EDT); Choppy, C.; Mosses, Peter
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.53
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.43
US$ 20.10 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Recent Trends in Algebraic Development Techniques : 14th International Workshop, Wadt '99 Chateau De Bonas, September 15-18, 1 999 : Selected Papers
Wadt 9 (1999 Chateau De Bonas, France); Bert, Didier (EDT); Choppy, C.; Mosses, Peter
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.57
US$ 20.10 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Zb 2002 : Formal Specification and Development in Z and B
International Conference of B and Z Users (2nd : 2002 : Grenoble, France); Bowen, J. P. (EDT); Henson, M. C. (EDT); Robinson, Ken (EDT); Bert, Didier (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.94
US$ 20.10 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 89.31
Free ShippingShips within 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.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 75.60
US$ 20.10 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Zb 2002 : Formal Specification and Development in Z and B
International Conference of B and Z Users (2nd : 2002 : Grenoble, France); Bowen, J. P. (EDT); Henson, M. C. (EDT); Robinson, Ken (EDT); Bert, Didier (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.20
US$ 20.10 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Recent Trends in Algebraic Development Techniques : 14th International Workshop, Wadt '99 Chateau De Bonas, September 15-18, 1 999 : Selected Papers
Wadt 9 (1999 Chateau De Bonas, France); Bert, Didier (EDT); Choppy, C.; Mosses, Peter
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.20
US$ 20.10 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.89
US$ 71.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The…B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.89
US$ 72.78 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The algebraic approach to system speci cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci cation fra- works and programming pa…radigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT 99) took place at the Chat eau de Bonas, near Toulouse, September 15 18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: algebraic speci cation other approaches to formal speci cation speci cation languages and methods term rewriting and proof systems speci cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci cations and other speci cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re nement, institutions and categories, ASM speci cations. There were also sessions re ecting - going research achieved in the Common Framework Initiative (CoFI, see within its di erent task groups: CASL (Common Algebraic Speci cation Language), CASL semantics, CASL tools, methodology, and reactive systems.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 70.52
US$ 73.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con-… rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux within the Institut d Informatique et Mathematiques Appliquees de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 133.75
US$ 16.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 169.56
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 568.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 182.02
US$ 16.75 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 547 pages. 9.00x6.00x1.25 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 125.80
US$ 73.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in… the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
- Hardcover
Seller: RECYCLIVRE, Paris, FranceRECYCLIVRE
Contact seller5-star sellerCondition: Used - Fine
US$ 40.55
US$ 74.20 shippingShips from France to U.S.A.Quantity: 1 available
Condition: Très bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
