Formal methods fact file : VDM and Z
Harry, Andrew
Formal methods fact file : VDM and Z Harry, Andrew - 1996 - 386 p.
EN
0-471-94006-2
005.1 / HAR-F
Formal methods fact file : VDM and Z Harry, Andrew - 1996 - 386 p.
EN
0-471-94006-2
005.1 / HAR-F