Back to Results
First PageMeta Content
Formal methods / Software development / Procedural programming languages / Programming paradigms / Extended ML / Concurrent computing / Don Sannella / Specification language / Algebraic specification / Computing / Software engineering / Computer programming


Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and
Add to Reading List

Document Date: 2000-06-29 07:17:41

Open Document

File Size: 120,04 KB

Share Result on Facebook
UPDATE