Software Engineering Mathematics: Formal Methods Demystified
Woodcock, Jim
Software Engineering Mathematics: Formal Methods Demystified - London Pitman 1988 - 291p.
0273026739 9780273026730
004.0151 / WOO
Software Engineering Mathematics: Formal Methods Demystified - London Pitman 1988 - 291p.
0273026739 9780273026730
004.0151 / WOO