Coverart for item
The Resource Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers, Michael Hanus (ed.), (electronic resource)

Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers, Michael Hanus (ed.), (electronic resource)

Label
Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Title
Logic-based program synthesis and transformation
Title remainder
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Statement of responsibility
Michael Hanus (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary SL 1 - Theoretical computer science and general issues
Series volume
5438
Label
Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers, Michael Hanus (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-00515-2
Instantiates
Publication
Note
Includes index
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn318545542
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9783642005152
Other control number
9786612037894
Specific material designation
remote
Stock number
978-3-642-00514-5
System control number
(OCoLC)318545542
Label
Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers, Michael Hanus (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-00515-2
Publication
Note
Includes index
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn318545542
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9783642005152
Other control number
9786612037894
Specific material designation
remote
Stock number
978-3-642-00514-5
System control number
(OCoLC)318545542

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...