MPG.eBooks - Description: Logic-Based Program Synthesis and Transformation

Read Now

Bibliographic Details
Other Authors:	De Schreye, Danny (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:	1st ed. 2010
Series:	Theoretical Computer Science and General Issues
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science Programming Techniques Computer Programming Artificial Intelligence Formal Languages And Automata Theory Machine Theory
Online Access:	https://doi.org/10.1007/978-3-642-12592-8?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Description
Physical Description:	X, 205 p. 29 illus online resource
ISBN:	9783642125928