Flemming Nielson U A (5 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 60.42
US$ 81.40 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Trustworthy Global Computing | 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers | Christos Kaklamanis (u. a.) | Taschenbuch | ix | Englisch | 2009 | Springer | EAN 9783642009440 | Verantwortliche Person für die EU: Springer Verlag 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
US$ 60.42
US$ 81.40 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Principles of Security and Trust | 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings | Flemming Nielson (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2019 | Springer | EAN 9783030171377 | Verantwortliche Person für die EU: Springer Verlag 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
US$ 67.91
US$ 81.40 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Principles of Program Analysis | Flemming Nielson (u. a.) | Taschenbuch | xxi | Englisch | 2010 | Springer | EAN 9783642084744 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
- Softcover
Seller: liu xing, Nanjing, JS, Chinaliu xing
Contact seller5-star sellerCondition: New
US$ 169.42
US$ 18.00 shippingShips from China to U.S.A.Quantity: 3 available
paperback. Condition: New. Language:Chinese.Paperback. Pub Date: 2022-08-01 Pages: 300 Publisher: Mechanical Industry Press The book is divided into 6 chapters. of which Chapter 1 is an introduction. Chapters 2~5 are data flow analysis. constraint-based analysis. Abstract interpretations. types. and action systems. and Chapter 6 is an introduction to analytical algorithms. The content of this book basically includes the classic methods and techniques in the field of program analysis. coupled with a rigorous formal syst.…
More imagesLanguage: English
Published by Cambridge University Press, 2005
Series: Book 39 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 93.78
US$ 81.40 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Two-Level Functional Languages | Flemming Nielson (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2005 | Cambridge University Press | EAN 9780521018470 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…
