Software engineering mathematics : formal methods demystified / Jim Woodcock, Martin Loomes.

By:

Contributor(s):

Material type: Text

TextPublication details: London : Pitman, 1988.Description: 291 : ill. ; 25 cmISBN:

Subject(s):

DDC classification:

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
General Lending	Carlow Campus Library General Lending	005.131 (Browse shelf(Opens below))	1	Available		63919

CW046

Includes index.

12.53