Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Aizu, Japan, September…
Verlag: Springer
2002 Kartoniert, 320 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
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 ISBNProgram Analysis and Compilation, Theory and Practice - Essays Dedicated to Reinhard Wilhelm on th…
Verlag: Springer
2007 Kartoniert, 380 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNFunctional and Logic Programming - 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9…
Verlag: Springer
2004 Kartoniert, 324 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Also available online
60,88 EUR
Beispielbild für diese ISBNSemantics, Applications, and Implementation of Program Generation - International Workshop, SAIG 2…
Verlag: Springer
2000 Kartoniert, 244 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
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 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 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 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 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
