Program Construction
Subtitle: Calculating Implementations from Specifications
Publisher: Wiley
Published: April 23, 2003
Language: eng
Number of pages: 320
ISBN-13: 9780470848821