Your search returned 2 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

Isabelle/HOL : a Proof Assistant for Higher-Order Logic by

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2002

Availability: Items available for loan: DAU (1)Call number: 004 NIP.

Not finding what you're looking for?

Resource Centre