A programming approach to formal methods

Saved in:

Bibliographic Details
Main Author:	Casey, Chris
Format:	Unknown
Language:	English
Published:	London McGraw-Hill 1994
Series:	The McGraw-Hill international series in software engineering
Subjects:	Electronic digital computers > Programming
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet