Verifiable programming /
Saved in:
Main Author: | Dahl, Ole-Johan |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
New York : Prentice Hall,
1992
|
Subjects: | INFORMATICA, PROGRAMACION DE COMPUTADORAS, PROGRAMAS DE COMPUTADORA-VERIFICACION, |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Structured programming /
by: Dahl, Osten 5461, et al.
Published: (1981) -
Formal development of programs and proofs /
by: Dijkstra, Edsger Wybe ed.
Published: (1990) -
La transformación de los programas /
by: Warnier, Jean Dominique 1058
Published: (1976) -
Controlling software projects /
by: Demarco, Tom 33801
Published: (1982) -
Software requirements : objects, functions and states /
by: Davis, Alan M. 25438
Published: (1993)