Reasoning About Program Transformations
Subtitle: Imperative Programming And Flow Of Data
Publisher: Springer
Published: Dec 03, 2010
Format: paperback
Number of pages: 256
ISBN-13: 9781441929815
Notes: Source title: Reasoning About Program Transformations: Imperative Programming And Flow Of Data