FUTMinna Library

Your cart is empty.

Cart
- Your cart is empty.
Lists

Log in to your account
Search history [x]

Search

Advanced search
Authority search
Tag cloud

Log in to your account

Login: Password:

Don't have an account? Register here.

Cancel

Home ›
Results of search for 'an:15521'

Refine your search

Availability
- Limit to currently available items.
Authors
- Berg, H. K.
Holding libraries
- IBB Library-Gidan Kwano
Item types
- Books,Booklets,Workbooks
Series
- Prentice-Hall softwa...
Topics
- Computer programs
- Formal methods (Comp...

Your search returned 2 results.

Unhighlight Highlight

|

	1.	Formal methods of program verification and specification / H.K. Berg ... [et al.]. by Berg, H. K. (Helmut K.). Material type: Book; Format: print regular print ; Literary form: Not fiction Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1982Availability: Items available for loan: IBB Library-Gidan Kwano [Call number: QA76.6.F65 1982] (1). Place hold Add to cart (remove)
	2.	Formal methods of program verification and specification / by H.K. Berg ... [et al.]. by Berg, H. K. (Helmut K.). Material type: Book; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1982Availability: Items available for loan: IBB Library-Gidan Kwano [Call number: QA76.6.F65 1982] (1). Place hold Add to cart (remove)