johan lewi
Algebraic Specifications in Software Engineering
Print on Demand'I prefer to view formal methods as tools. the use of which might be helpful.' E. W. Dijkstra Alg...
Data Structures of Pascal, Algol 68, PL/1 and Ada
Print on DemandThis book is intended as a text for a course in programming languages. The pre requisites for suc...
- 1