Your search returned 2 results.

Results
	1.	Practical aspects of declarative languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings / edited by Manuel Carro, Ricardo Pena. by PADL 2010 (2010 : Madrid, Spain) Carro, Manuel [editor.] Pena, Ricardo [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5937 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: PADL 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2.	Specification and verification of declarative open interaction models [electronic resource] : a logic-based approach / by Marco Montali. by Montali, Marco SpringerLink (Online service) Series: Lecture notes in business information processing ; 56 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Refine your search