Program Construction: Calculating Implementations from Specifications

Specifications

by Roland Backhouse

Paperback

details (USA).

ISBN: 978-0-470-84882-1

ISBN-10: 0-470-84882-0

Wiley · 2003