Fritz Henglein – författare
Visar alla böcker från författaren Fritz Henglein. Handla med fri frakt och snabb leverans.
7 produkter
Automatic Program Development
A Tribute to Robert Paige
Av Olivier Danvy, Fritz Henglein m. fl.
Inbunden, 2008
1126 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
Automatic Program Development
A Tribute to Robert Paige
Av Alberto Pettorossi, Harry Mairson m. fl.
E-bok, 2008
1502 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
Av Fritz Henglein, Sharon Shoham m. fl.
Häftad, 2021
1014 kr
Lägg i varukorg
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event …
Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
Av Yakir Vizel, Sharon Shoham m. fl.
E-bok, 2021
1306 kr
Lägg i varukorg
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event …
Automatic Program Development
A Tribute to Robert Paige
Av Olivier Danvy, Fritz Henglein m. fl.
Häftad, 2010
1126 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
