"Z (Computer Program Language)" - ECU Libraries Catalog

Start Over

You searched for: subject "Z (Computer Program Language)"

Showing 11 - 20 of 22 results

Search Results

Cover image for ZB 2002

ZB 2002

by International Conference of B and Z Users
2002
Format: Electronic

Location
Access Content Online

Cover image for Understanding Z

Understanding Z

by Spivey, J. M.
1988
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.Z2 S65 1988	✔ Available

Cover image for ZUM'98: The Z formal specification notation

ZUM'98: The Z formal specification notation

by International Conference of Z Users
1998
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.Z2 I58 1998	✔ Available

Cover image for ZB 2005

ZB 2005

by International Conference of B and Z Users
2005
Format: Electronic

Location
Access Content Online

Cover image for ZB 2000

ZB 2000

by International Conference of B and Z Users
2000
Format: Electronic

Location
Access Content Online

Cover image for ZB 2002: formal specification and development in Z and B

ZB 2002: formal specification and development in Z and B

by International Conference of B and Z Users
2002
Format: Electronic

Location
Access Content Online

Cover image for ZB 2003

ZB 2003

by International Conference of B and Z Users
2003
Format: Electronic

Location
Access Content Online

Cover image for Refinement in Z and Object-Z

Refinement in Z and Object-Z

by Derrick, John
2013
2nd ed.
Format: Electronic

Location
Access Content Online

Cover image for ZB 2005

ZB 2005

by International Conference of B and Z Users
2005
Format: Electronic

Location
Access Content Online

Cover image for Formal specification of advanced AI architectures

Formal specification of advanced AI architectures

by Craig, Iain D.
1991
Format: Book

Location	Call #	Status
Joyner - General Stacks	Q336.C73 1991	✔ Available