Beyer Dirk Edt (20 results)

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 42.42

£ 1.96 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: New.

Tests and Proofs : 13th International Conference, Tap 2019, Held As Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 43.47

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Language: English

Published by Springer, 2013

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Beyer, Dirk (EDT); Huisman, Marieke (EDT); Kordon, Fabrice (EDT); Steffen, Bernhard (EDT)

Condition: New

£ 44.69

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of Tacas: Toolympics, Held As Part of Etaps 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Beyer, Dirk (EDT); Cavalcanti, Ana (EDT)

Condition: Used - As new

£ 45.02

£ 1.96 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: As New. Unread book in perfect condition.

Fundamental Approaches to Software Engineering : 27th International Conference, Fase 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings

Language: English

Published by Springer, 2024

3031572580 / 9783031572586

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 48.57

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Tests and Proofs : 13th International Conference, Tap 2019, Held As Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 51.64

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, Tacas 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

3319899627 / 9783319899626

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 55.17

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, Tacas 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

3319899597 / 9783319899596

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Beyer, Dirk (EDT); Cavalcanti, Ana (EDT)

Condition: New

£ 55.26

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Fundamental Approaches to Software Engineering : 27th International Conference, Fase 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings

Language: English

Published by Springer, 2024

3031572580 / 9783031572586

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Beyer, Dirk (EDT); Huisman, Marieke (EDT); Kordon, Fabrice (EDT); Steffen, Bernhard (EDT)

Condition: New

£ 55.56

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of Tacas: Toolympics, Held As Part of Etaps 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 41.09

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: New.

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, Tacas 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

3319899597 / 9783319899596

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 57.83

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, Tacas 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

3319899627 / 9783319899626

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Beyer, Dirk (EDT); Huisman, Marieke (EDT); Kordon, Fabrice (EDT); Steffen, Bernhard (EDT)

Condition: Used - As new

£ 58.22

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of Tacas: Toolympics, Held As Part of Etaps 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 46.04

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: As New. Unread book in perfect condition.

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Language: English

Published by Springer, 2013

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 50.21

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Tests and Proofs : 13th International Conference, Tap 2019, Held As Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 50.28

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Tests and Proofs : 13th International Conference, Tap 2019, Held As Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Language: English

Published by Springer, 2019

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Beyer, Dirk (EDT); Zufferey, Damien (EDT)

Condition: Used - As new

£ 55.12

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 19-25, 2020, Proceedings

Language: English

Published by Springer, 2020

3030393216 / 9783030393212

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Beyer, Dirk (EDT); Zufferey, Damien (EDT)

Condition: New

£ 82.76

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 19-25, 2020, Proceedings

Language: English

Published by Springer, 2020

3030393216 / 9783030393212

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 99.14

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Language: English

Published by Springer, 2013

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 124.99

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Language: English

Published by Springer, 2013

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller