Ed Brinksma U A (3 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.92
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Tools and Algorithms for the Construction and Analysis of Systems | First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers | Ed Brinksma (u. a.) | Taschenbuch | vii | Englisch | 1995 | Springer | EAN 9783540606307 | Verantwortliche Person für die EU: Springer Ver…lag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.92
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Lectures on Formal Methods and Performance Analysis | First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures | Ed Brinksma (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2001 | Springer | EAN 9783540424796 | Verantwor…tliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 85.55
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computer Aided Verification | 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings | Ed Brinksma (u. a.) | Taschenbuch | x | Englisch | 2002 | Springer | EAN 9783540439974 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelbe…rg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
