A programming approach to formal methods
Saved in:
Main Author: | Casey, Chris |
---|---|
Format: | Unknown |
Language: | English |
Published: |
London
McGraw-Hill
1994
|
Series: | The McGraw-Hill international series in software engineering
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal models in programming
Published: (1985) -
Formal development of programs and proofs
Published: (1990) -
A method of programming
by: Dijkstra, Edsger Wybe
Published: (1988) -
Methods of programming selected papers on the CIP-project
Published: (1991) -
Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1986)