Your search returned 10 results. Subscribe to this search

|
1. A programming approach to formal methods / Chris Casey.

by Casey, Chris.

Material type: book Book; Format: print Publisher: London : McGraw-Hill, c1994Availability: No items available

2. A programming approach to formal methods / Chris Casey.

by Casey, Chris.

Material type: book Book; Format: print Publisher: London : McGraw-Hill, c1994Availability: Items available for loan: Matheson Library [Call number: SR 005.3 C338] (1).
Lists:

3. Object-oriented databases and their applications to software engineering / Alan W. Brown.

by Brown, Alan W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : McGraw-Hill, c1991Availability: No items available Lost (1).

4. Software engineering analysis and design / Charles Easteal, Gordon Davies.

by Easteal, Charles | Davies, Gordon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : McGraw-Hill,1989. Availability: Items available for loan: Matheson Library [Call number: 005.1 E13] (1).

5. Introduction to VDM / Mark Woodman and Benedict Heal.

by Woodman, Mark | Heal, Benedict.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : McGraw-Hill, 1993Availability: No items available Lost (1).

6. Knowledge engineering for information systems / Paul Beynon-Davies.

by Beynon-Davies, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London ; New York : McGraw Hill Book Co. Europe, c1993Availability: No items available Lost (1).

7. Object-oriented specification and design with C++ / Peter Henderson.

by Henderson, Peter, 1944-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London ; New York : McGraw-Hill, 1993Availability: Items available for loan: Matheson Library [Call number: 005.11 H497] (1).

8. Software engineering environments : automated support for software engineering / Alan W. Brown, Anthony N. Earl, John A. McDermid.

by Brown, Alan W, 1962- | McDermid, John | Earl, Anthony N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London ; New York : McGraw-Hill, c1992Availability: Items available for loan: Matheson Library [Call number: 005.1 B877] (1).

9. Software engineering analysis and design / Charles Easteal, Gordon Davies.

by Easteal, Charles | Davies, Gordon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : McGraw-Hill,1989. Availability: No items available

10. Introduction to VDM / Mark Woodman and Benedict Heal.

by Woodman, Mark | Heal, Benedict.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : McGraw-Hill, 1993Availability: No items available

About Us

The Matheson Library of Papua New Guinea University of Technology consists of a Bulolo University College Library, TFTC Library, Lae School of Nursing Library and SUSU campus in Chimbu.

Quick Links

 

Copyright © 2024 All Rights Reserved by Matheson Library.