Beispielbild für diese ISBNFundamentals of Computation Theory - International Conference FCT '89, Szeged, Hungary, August 21-…
Verlag: Springer
1989 Kartoniert, 516 Seiten, 235mm x 155mm x 28mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNPrinciples of Program Analysis
von Flemming Nielson, Hanne R. Nielson, Chris Hankin Verlag: Springer
1999 Gebunden, 480 Seiten, 240mm x 161mm x 32mm, Sprache(n): eng The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionalsTested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenhag…
89,87 EUR
Beispielbild für diese ISBNAutomatic Program Development - A Tribute to Robert Paige
Verlag: Springer
2008 Gebunden, 312 Seiten, 241mm x 160mm x 24mm, Sprache(n): eng This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retros…
121,78 EUR
Beispielbild für diese ISBNStatic Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023,…
Verlag: Springer
2023 Kartoniert, 584 Seiten, 235mm x 155mm x 32mm, Sprache(n): eng
99,85 EUR
Beispielbild für diese ISBNPrograms as Data Objects - Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedi…
Verlag: Springer
2001 Kartoniert, 296 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNLogic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Sien…
Verlag: Springer
2015 Kartoniert, 404 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNFormal Methods and Software Engineering - 4th International Conference on Formal Engineering Metho…
Verlag: Springer
2002 Kartoniert, 648 Seiten, 235mm x 155mm x 35mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
121,78 EUR
Beispielbild für diese ISBNMathematics of Program Construction - 4th International Conference, MPC'98, Marstrand, Sweden, Jun…
Verlag: Springer
1998 Kartoniert, 404 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNFoundation of Software Science and Computation Structures - Third International Conference, FOSSAC…
Verlag: Springer
2000 Kartoniert, 408 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rend…
Verlag: Springer
2025 Kartoniert, 224 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng
