Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
2013 ed.
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3642381960
ISBN-13
9783642381966
Edition
2013 ed.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Manufacture
DE
Country of Publication
GB
Publication Date
May 3rd, 2013
Print length
245 Pages
Product Classification:
Mathematical logicArtificial intelligence
AI Summary
Ksh 7,550.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Get Logic-Based Program Synthesis and Transformation by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has pages.
Discover books you might love based on this title.
More in This Genre
Model-Driven Engineering and Software Development
Ksh 8,100.00
Population-Based Optimization on Riemannian Manifolds
Ksh 21,600.00
Complex Networks & Their Applications X
Ksh 59,400.00
Learning Factories of the Future
Ksh 39,600.00
Provenance and Annotation of Data and Processes
Ksh 8,100.00
Data Management, Analytics and Innovation
Ksh 45,000.00
