logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Alberto Pettorossi's Books back

language per page order
Automatic Program Development: A Tribute to Robert Paige - Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi
Automatic Program Development: A Tribute to Robert Paige
by Olivier Danvy (author), Alberto Pettorossi (author), Fritz Henglein (author), Harry Mairson (author)
publisher: Springer publish date: January 8th 2008
format: kindle pages: 272
language: English
ASIN: B00FBO69DC
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science) - Alberto Pettorossi
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science)
by Alberto Pettorossi (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 267
language: English
ASIN: B000V1O2CA
Logic Based Program Synthesis and Transformation: 11th International Workshop, Lopstr 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers - Alberto Pettorossi
Logic Based Program Synthesis and Transformation: 11th International Workshop, Lopstr 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
by Alberto Pettorossi (author)
publisher: Springer publish date: July 17th 2002
format: paperback pages: 272
language: English
ISBN: 3540439153 (9783540439158)
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science) - Alberto Pettorossi
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science)
by Alberto Pettorossi (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 356
language: English
ASIN: B000V1GLPG
Meta-Programming in Logic: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992. Proceedings - Alberto Pettorossi
Meta-Programming in Logic: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
by Alberto Pettorossi (author)
publisher: Springer publish date: December 2nd 1992
format: paperback pages: 351
language: English
ISBN: 3540562826 (9783540562825)
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.