Your search returned 3 results.

Not what you expected? Check for suggestions

Image from Google Jackets

Object-Z Specification Language by

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Boston: Kluwer Academic Publishers, 2000

Availability: Items available for loan: DAU (1)Call number: 005.117 SMI.

Image from Google Jackets

Computer-aided reasoning : ACL2 case studies by

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Boston: Kluwer Academic Publishers, 2000

Availability: Items available for loan: DAU (1)Call number: 006.33 KAU.

Image from Google Jackets

Computer-aided reasoning : an approach by

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Boston: Kluwer Academic Publishers, 2000

Availability: Items available for loan: DAU (1)Call number: 004.0151 KAU.

Not finding what you're looking for?

Resource Centre