An edition of Logic Based Program Synthesis & Transformation (2001)

Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Logic Based Program Synthesis and Transformat ...

Kung-Kiu Lau

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

February 26, 2022 | History

Edit

An edition of Logic Based Program Synthesis & Transformation (2001)

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

Publish Date

2003

Publisher

Springer London, Limited

Language

English

Check nearby libraries

Buy this book

Previews available in: English

Showing 2 featured editions. View all 2 editions?

Edition	Availability
1 Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers 2003, Springer London, Limited in English 3540451420 9783540451426	aaaa Not in Library Libraries near you: WorldCat
2 Logic Based Program Synthesis & Transformation June 15, 2001, Springer Paperback in English - 1 edition 3540421270 9783540421276	zzzz Not in Library Libraries near you: WorldCat