Program Construction: Calculating Implementations from Specifications
date of publication: 2003-05-07
ISBN-13: 978-0-470-84882-1
ISBN-10: 0-470-84882-0
work from which this is an edition: Program Construction: Calculating Implementations from Specifications
edition language: English
In your inventory
nothing here
In your friends' and groups' inventories
nothing here
Nearby
nothing here
Elsewhere
nothing here
Edition - isbn:9780470848821 - inv:4b9a11d8a32aabab8b2e417f3e8c2b75