UOJ Online catalog › Results of search for 'su:"Computer software

1.

Formal methods for interactive systems / [by] Alan John Dix

by DIX, Alan John.

Publisher: London Academic Press 1991Availability: Items available for loan: Main Library [Call number: 004 DIX] (1).

2.

No cover image available

Intelligent software systems development: an IS manager's guide / [by] Paul Harmon, Curtis Hall

by HARMON, Paul | Hall, Curtis.

Publisher: New York John Wiley 1993Availability: Items available for loan: Main Library [Call number: 005.1 HAR] (1).

3.

Systematic software development using VDM / Cliff B. Jones

by Jones, Cliff B.

Edition: 2nd ed.Publisher: New york Prentice hall International (UK) Ltd n.dAvailability: Items available for loan: Engineering Library [Call number: 005 JON] (1).

UOJ Online

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

	1.	No cover image available Formal methods for interactive systems / [by] Alan John Dix by DIX, Alan John. Publisher: London Academic Press 1991Availability: Items available for loan: Main Library [Call number: 004 DIX] (1). Place hold Add to your cart (remove)
	2.	No cover image available Intelligent software systems development: an IS manager's guide / [by] Paul Harmon, Curtis Hall by HARMON, Paul \| Hall, Curtis. Publisher: New York John Wiley 1993Availability: Items available for loan: Main Library [Call number: 005.1 HAR] (1). Place hold Add to your cart (remove)
	3.	Systematic software development using VDM / Cliff B. Jones by Jones, Cliff B. Edition: 2nd ed.Publisher: New york Prentice hall International (UK) Ltd n.dAvailability: Items available for loan: Engineering Library [Call number: 005 JON] (1). Place hold Add to your cart (remove)