
Static Analysis
Andreas Podelski
₹4,271

Springer · 1995 · Paperback
Selected papers from the 1994 Chatillon Spring School in Chatillon-Sur-Seine, France, revised after the event. They cover new areas of research in theoretical computer science.
Free delivery. Nothing extra to pay at checkout.
This book brings together thoroughly revised versions of papers given at the 1994 Chatillon Spring School, which met in May 1994. The school was the 22nd in a series of advanced seminars that introduce important new research areas to the theoretical computer science community.
Because the papers grew out of lectures, the collection serves as a survey of the field's basics and of the directions it was taking in the mid-1990s, presented for readers who already know the subject area.
The volume is aimed at computer scientists, especially those working in programming and theoretical computing, who want an authoritative snapshot of constraint programming from that period.
Bibliographic details: published by Springer, with the ISBN-13 9783540591559.