Matheson Library

Your cart is empty.

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
No cover image available No cover image available
Formal specification and software development Dines Bjorner and Cliff B. Jones

by Bjorner, D. (Dines), 1937- | Jones, C. B. (Cliff B.), 1944-.

Material type: book Book; Format: print Publisher: Englewood Cliffs, N.J Prentice/Hall International c1982Availability: Items available for loan: Matheson Library [Call number: 001.642 B626f] (1).

Place hold Add to cart
2.
No cover image available No cover image available
Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 edited by Dines Bjorner

by IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany) | Bjorner, D. (Dines), 1937- | IFIP Technical Committee 2--Programming.

Material type: book Book; Format: print Publisher: Amsterdam North-Holland Pub. Co. 1983Availability: Items available for loan: Matheson Library [Call number: 001.642 I23f 1982] (1).

Place hold Add to cart

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.