Catalog

Record Details

Catalog Search



Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings  Cover Image E-book E-book

Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings / edited by Manuel Carro, Ricardo Peña.

Carro, Manuel. (editor.). Peña, Ricardo. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642115035
  • Physical Description: XI, 297p. 78 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.

Electronic resources



Additional Resources