Logic-based program synthesis and transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers / Fabio Fioravanti, John P. Gallagher (eds.).
2018
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 : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers / Fabio Fioravanti, John P. Gallagher (eds.).
Meeting Name
LOPSTR (Symposium) (27th : 2017 : Namur, Belgium)
ISBN
9783319944609 (electronic book)
3319944606 (electronic book)
9783319944593
3319944606 (electronic book)
9783319944593
Published
Cham : Springer, 2018.
Language
English
Description
1 online resource (xvi, 341 pages) : illustrations.
Item Number
10.1007/978-3-319-94460-9 doi
Call Number
QA76.63
Dewey Decimal Classification
005.1/15
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 20, 2018).
Added Author
Fioravanti, Fabio, editor.
Gallagher, John P. editor.
Gallagher, John P. editor.
Series
Lecture notes in computer science ; 10855.
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