KK05403 FORMAL METHOD IN SOFTWARE ENGINEERING
No. |
Title |
Item Location |
Call Number |
1 |
|
QA76.76 . D47L58 2010 |
|
2 |
Using Z: Specification, Refinement and Proof Jim Woodcock and Jim Davies, 1996, Prentice Hall. |
|
QA76.73 . Z2W66 |