Logical foundations of computer science : International symposium, LFCS 2007 : New York, NY, USA, June 4-7, 2007 : proceedings / Sergei N. Artemov, Anil Nerode (Eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2007
ISBN
978-3-540-72732-3
Descrizione fisica
XI, 511 p. : ill. ; 24 cm
Collana
Lecture notes in computer science ; 4514
Disciplina
005.13
Soggetti
Linguaggi di programmazione - Congressi - New York - 2007