Flemming nielson u a (5 Ergebnisse)
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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.
- Weitere Bilder
- Softcover
Anbieter: liu xing, Nanjing, JS, Chinaliu xing
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 152,17
EUR 15,70 VersandVersand von China nach USAAnzahl: 3 verfügbar
paperback. Zustand: 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 i…s 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.
- Weitere Bilder
- Hardcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,50
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Buch. Zustand: Neu. Formal Methods | An Appetizer | Flemming Nielson (u. a.) | Buch | xvii | Englisch | 2019 | Springer | EAN 9783030051556 | 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.
- Weitere Bilder
Sprache: Englisch
Verlag: Cambridge University Press, 2005
Serie: Buch 39 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,30
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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 Deman…d.
