Program Construction: Calculating Implementations from Specifications, Backhouse

Program Construction by Roland Backhouse PAPERBACK 9780470848821

Program Construction and Verification by ROLAND C. BACKHOUSE 1986 Vintage Book

Program Construction: Calculating Implementations from Specifications by Roland

Pieter Snayers: Battle Painter 1592-1667 by Sennewald, Roland

Algorithmic Problem Solving by Roland Backhouse

Backhouse - Program Construction - New paperback or softback - 32 - X555z

Algorithmic Problem Solving by Roland Backhouse PAPERBACK 9780470684535