Name: VDM '90 VDM and Z -- Formal Methods in Software Development
Author: C. A. R. Hoare
ISBN: 9783540525134

null

Page Count:
580

Publication Date:
1990-01-01

ISBN-10:
3540525130

ISBN-13:
9783540525134

Science

No comments yet. Be the first to share your thoughts!