KK05403 FORMAL METHOD IN SOFTWARE ENGINEERING

No.

Title

Item Location

Call Number

1

Shaoying Liu. Formal Engineering for Industrial Software Development. Using SOFL Method. Springer, 2004

  • Main Library General Collection

QA76.76 . D47L58 2010

2

Using Z: Specification, Refinement and Proof Jim Woodcock and Jim Davies, 1996, Prentice Hall.

  • Main Library General Collection

QA76.73 . Z2W66