Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

57.94 EUR 11% Off 65.00 EUR

Marke: Ezio Bartocci

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-11%

Gesponsert Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

Medimops DE

57.94 EUR 65.00 EUR

19-09-2026 14:53:39

Access to the deal

-9%

Gesponsert Formal Methods in Outer Space, Fachbücher von Ezio Bartocci, Yliès Falcone, Martin Leucker

Galaxus.de

58.84 EUR 65.00 EUR

17-09-2026 20:26:59

Access to the deal

-9%

Gesponsert Formal Methods in Outer Space

Hugendubel

58.99 EUR 65.00 EUR

17-09-2026 13:11:36

Access to the deal

Gesponsert Formal Methods in Outer Space

SpringerLink DE

65.00 EUR 65.00 EUR

19-09-2026 16:19:33

Access to the deal

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

Gesponsert Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

Gesponsert Formal Methods in Outer Space, Fachbücher von Ezio Bartocci, Yliès Falcone, Martin Leucker

Gesponsert Formal Methods in Outer Space

Gesponsert Formal Methods in Outer Space

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

Gesponsert Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

Gesponsert Formal Methods in Outer Space, Fachbücher von Ezio Bartocci, Yliès Falcone, Martin Leucker

Gesponsert Formal Methods in Outer Space

Gesponsert Formal Methods in Outer Space

Ähnliche Produkte

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science, Band 15234)

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science, Band 15403)

Formal Methods: Foundations and Applications

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops