What do you think?
Rate this book
Logic Based Program Synthesis and Transformation
Specification.-synthesis.-verification.-analysis.-optimization.-specialization.-security.-certification.-applications and tools.-program/model manipulation.- transformation techniques for any programming language paradigm.
292 pages, Paperback
Published September 15, 2008
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.