Beckert Bernhard Edt (26 results)
Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 53.27
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.00
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.11
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 62.69
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 68.02
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.10
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.26
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Electronic Voting : 5th International Joint Conference, E-vote-id 2020, Bregenz, Austria, October 6?9, 2020, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT); Kulyk, Oksana (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 69.52
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 69.70
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 74.13
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Cortier, Veronique (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 76.71
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 61.79
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Cortier, Veronique (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 78.32
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Electronic Voting : 5th International Joint Conference, E-vote-id 2020, Bregenz, Austria, October 6?9, 2020, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT); Kulyk, Oksana (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 79.62
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 68.73
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.13
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.09
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Cortier, Veronique (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 76.05
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.54
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Cortier, Veronique (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 84.75
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Verification of Object-Oriented Software : The Key Approach
Beckert, Bernhard (EDT); Hahnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 139.02
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Verification of Object-Oriented Software : The Key Approach
Beckert, Bernhard (EDT); Hahnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 145.83
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Deductive Software Verification : The Key Book; from Theory to Practice
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 162.88
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Deductive Software Verification : The Key Book; from Theory to Practice
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 166.35
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 159.47
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 179.37
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
