Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Main Author: Hanus, Michael
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2007, 2007
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 01257nmm a2200337 u 4500
001 EB000378032
003 EBX01000000000000000231084
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540696117 
100 1 |a Hanus, Michael 
245 0 0 |a Practical Aspects of Declarative Languages  |h Elektronische Ressource  |b 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings  |c edited by Michael Hanus 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2007, 2007 
300 |a X, 342 p  |b online resource 
505 0 |a The Logical Choice for Software Model Ch 
653 |a Software engineering 
653 |a Programming Techniques 
653 |a Computer science 
653 |a Software Engineering 
653 |a Computer Science 
653 |a Logic design 
653 |a Programming Languages, Compilers, Interpreters 
653 |a Logics and Meanings of Programs 
710 2 |a SpringerLink (Online service) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Computer Science 
856 |u http://dx.doi.org/10.1007/978-3-540-69611-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.13