Beyer dirk edt (20 Ergebnisse)

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 50,94

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 51,91

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 53,23

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 53,82

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2024

3031572580 / 9783031572586

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 58,33

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 62,02

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2018

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 65,97

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2018

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 66,08

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2024

3031572580 / 9783031572586

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 66,19

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 50,69

EUR 17,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2018

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 69,45

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2018

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 69,92

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 57,00

EUR 17,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,95

EUR 17,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 62,03

EUR 17,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Gebraucht - Wie neu

EUR 67,99

EUR 17,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2020

3030393216 / 9783030393212

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 111,24

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2020

3030393216 / 9783030393212

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 119,06

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 154,19

EUR 17,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

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

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen