Beyer dirk edt (20 resultados)

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Nuevo

EUR 50,95

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Condición: 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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Nuevo

EUR 52,29

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 53,60

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 54,03

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Condición: 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

Idioma: Inglés

Editorial: Springer, 2024

3031572580 / 9783031572586

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Usado - Como Nuevo

EUR 58,34

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Usado - Como Nuevo

EUR 62,03

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 62,44

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

Vendedor de 5 estrellas

Condición: Nuevo

EUR 50,55

Envío por EUR 17,92

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponible

Condición: 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

Idioma: Inglés

Editorial: Springer, 2018

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Nuevo

EUR 66,18

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Condición: 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

3319899627 / 9783319899626

Idioma: Inglés

Editorial: Springer, 2018

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 66,18

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2024

3031572580 / 9783031572586

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Nuevo

EUR 66,68

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2018

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Usado - Como Nuevo

EUR 69,46

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2018

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 69,93

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

Vendedor de 5 estrellas

Condición: Usado - Como Nuevo

EUR 56,64

Envío por EUR 17,92

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponible

Condición: 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

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

Vendedor de 5 estrellas

Condición: Nuevo

EUR 61,78

Envío por EUR 17,92

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

Vendedor de 5 estrellas

Condición: Nuevo

EUR 61,86

Envío por EUR 17,92

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

Vendedor de 5 estrellas

Condición: Usado - Como Nuevo

EUR 68,64

Envío por EUR 17,92

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 68,80

Envío por EUR 17,92

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2020

3030393216 / 9783030393212

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 112,11

Envío por EUR 2,35

Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2020

3030393216 / 9783030393212

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas