Logical foundations of computer science : International symposium, LFCS 2009 : Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings / Sergei Artemov, Anil Nerode (Eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2009
ISBN
978-3-540-92686-3
Descrizione fisica
XI, 467 p. : ill. ; 24 cm
Collana
Lecture notes in computer science ; 5407
Disciplina
005.13
Soggetti
Linguaggi di programmazione - Congressi - Deerfield Beach - 2009