Klaus Havelund U A (6 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.86 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings | Erika Abraham (u. a.) | Taschenbuch | xviii |… Englisch | 2014 | Springer | EAN 9783642548611 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 63.38
£ 59.86 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. NASA Formal Methods | 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings | Jyotirmoy Deshmukh (u. a.) | Taschenbuch | xv | Englisch | 2026 | Springer | EAN 9783032280787 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelber…g, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 76.02
£ 59.86 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings | Klaus Havelund (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9783319955810 | Verantwortliche Person für die EU: Springer Verl…ag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 107.59
£ 59.86 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. NASA Formal Methods | 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings | Jyotirmoy V. Deshmukh (u. a.) | Taschenbuch | xxii | Englisch | 2022 | Springer | EAN 9783031067723 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heide…lberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.27
£ 59.86 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Model Checking Software | 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings | Klaus Havelund (u. a.) | Taschenbuch | x | Englisch | 2008 | Springer | EAN 9783540851134 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg,… juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.27
£ 59.86 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. SPIN Model Checking and Software Verification | 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings | Klaus Havelund (u. a.) | Taschenbuch | x | Englisch | 2000 | Springer | EAN 9783540410300 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergarte…nstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
