Program construction : calculating implementations from specifications /

Program construction : calculating implementations from specifications /

Saved in:
Bibliographic Details
Main Author: Backhouse, Roland C., 1948-
Format: Book
Language:English
Published: New York : Wiley, c2003.
Subjects:
Computer programming.
Online Access:Contributor biographical information
Publisher description
Table of contents

Internet

Contributor biographical information
Publisher description
Table of contents

CARM 1 Store

Holdings details from CARM 1 Store
Copy 1 Available  Place a Hold

Similar Items