Beyer dirk edt (20 risultati)

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 50,93

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 52,27

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2013

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 53,61

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

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

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 53,70

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

Condizione: 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

Lingua: Inglese

Editore: Springer, 2024

3031572580 / 9783031572586

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 58,31

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 62,00

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2013

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 62,41

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2018

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 65,85

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 50,41

EUR 17,87 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Condizione: 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

Lingua: Inglese

Editore: Springer, 2018

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 66,15

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2024

3031572580 / 9783031572586

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 66,65

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2018

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 69,43

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2018

Brossura

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

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 69,90

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 56,49

EUR 17,87 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Condizione: 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

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,61

EUR 17,87 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,69

EUR 17,87 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 68,45

EUR 17,87 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 68,61

EUR 17,87 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

3030393216 / 9783030393212

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 112,06

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2020

3030393216 / 9783030393212

Brossura

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

Venditore con 5 stelle