By Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio (auth.), Michael Kaminski, Simone Martini (eds.)

This booklet constitutes the refereed complaints of the twenty second foreign Workshop on laptop technology common sense, CSL 2008, held because the seventeenth Annual convention of the EACSL in Bertinoro, Italy, in September 2008.

The 31 revised complete papers provided including four invited lectures have been conscientiously reviewed and chosen from 102 submissions. All present features of good judgment in laptop technological know-how are addressed, starting from foundational and methodological matters to software problems with sensible relevance. The e-book concludes with a presentation of this year's Ackermann award.

Show description

Read or Download Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings PDF

Best Science books

Extra info for Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Show sample text content

Rated 4.97 of 5 – based on 10 votes