Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / edited by Gopal Gupta, Ricardo Peña.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 8901Publication details: Cham : Springer International Publishing, 2014.Description: 1 online resource (XII, 237 p. 51 ill.)ISBN: - 9783319141251
Contents:
Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm.
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
National Library of India | Available | EBK000024757ENG |
Total holds: 0
Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm.
There are no comments on this title.
Log in to your account to post a comment.
