Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings / / edited by Claudio Russo, Neng-Fa Zhou |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 304 p. 78 illus., 3 illus. in color.) |
Disciplina | 005.13 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Software engineering Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-642-27694-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | PADL'12 |
Record Nr. | UNISA-996465898203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / / Claudio Russo, Neng-Fa Zhou (eds.) |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Heidelberg, : Springer, c2012 |
Descrizione fisica | 1 online resource (X, 304 p. 78 illus., 3 illus. in color.) |
Disciplina | 005.131 |
Altri autori (Persone) |
RussoClaudio
ZhouNeng-Fa |
Collana | Lecture notes in computer science |
Soggetto topico |
Declarative programming languages
High-level programming languages |
ISBN | 3-642-27694-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | PADL 2012 |
Record Nr. | UNINA-9910510602903321 |
Heidelberg, : Springer, c2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|