Logic based program synthesis and transformation

10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

My Reading Lists:

Create a new list


Buy this book

Last edited by Scott365Bot
March 23, 2024 | History

Logic based program synthesis and transformation

10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
181

Buy this book

Previews available in: English

Book Details


Edition Notes

Published in
New York
Series
Lecture notes in computer science -- 2042.
Genre
Congresses.
Other Titles
LOPSTER 2000.

Classifications

Library of Congress
QA76.63 .L69 2000, QA76.63 .L69 2000, QA76.758QA76.9.L63QA

The Physical Object

Pagination
viii, 181 p. ;
Number of pages
181

Edition Identifiers

Open Library
OL18159430M
ISBN 10
3540421270
LCCN
2001032234
OCLC/WorldCat
226279232

Work Identifiers

Work ID
OL12337398W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 23, 2024 Edited by Scott365Bot Linking back to Internet Archive.
November 13, 2023 Edited by MARC Bot import existing book
December 3, 2020 Edited by MARC Bot import existing book
October 8, 2020 Edited by ImportBot import existing book
October 11, 2008 Created by ImportBot Imported from Oregon Libraries MARC record