Formal methods fact file : VDM and Z /
Saved in:
Main Author: | Harry, Andrew 33798 |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
New York : John Wiley Sons,
1996
|
Subjects: | INGENIERIA DE PROGRAMAS INFORMATICOS, PROGRAMACION DE COMPUTADORAS, INFORMATICA, LENGUAJE DE PROGRAMACION Z, VDM, METODOS FORMALES, |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Systematic software development using VDM /
by: Jones, Cliff B.
Published: (1990) -
Software development with Z /
by: Wordsworth, J.B. 33797
Published: (1992) -
The mythical man-month : essays on software engineering /
by: Brooks, Frederick P. 6819
Published: (1982) -
Tutorial : software engineering project management /
by: Thayer, Richard H. ed. 8032
Published: (1992) -
Working with objects : the ooram software engineering method /
by: Reenskaug, Trygve 6313, et al.
Published: (1996)