librarian a book library

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

Library Size: 80G (2 books), Last Updated: Mar 31, 2026, 18:05:21, Build Time: N/A badge
[show logs] [hide logs]