MPG.eBooks - Search Results - "Logic Design"

Cover Image

1

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

by Backhouse, Roland
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

2

Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

by Backhouse, Roland
Published 2000

Springer Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

3

Generic Programming : Advanced Lectures

by Backhouse, Roland
Published 2003

Springer Berlin Heidelberg

Subjects: “...Logic design...”