Logic-based program synthesis and transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers / Moreno Falaschi (eds.).
2015
QA76.63
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Logic-based program synthesis and transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers / Moreno Falaschi (eds.).
Meeting Name
LOPSTR (Symposium) (25th : 2015 : Siena, Italy)
ISBN
9783319274362 electronic book
3319274368 electronic book
9783319274355
3319274368 electronic book
9783319274355
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (xvii, 385 pages) : color illustrations.
Item Number
10.1007/978-3-319-27436-2 doi
Call Number
QA76.63
Dewey Decimal Classification
005.1/15
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed December 30, 2015).
Added Author
Falaschi, Moreno, editor.
Series
Lecture notes in computer science ; 9527.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources