"Z (Computer program language)" - ECU Libraries Catalog

Start Over

You searched for: subject "Z (Computer program language)"

Showing 1 - 10 of 22 results

Search Results

Cover image for The Z notation

The Z notation

by Spivey, J. M.
1992
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.Z2 S66 1992	✔ Available

Cover image for The way of Z

The way of Z

by Jacky, Jonathan
1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.Z2 J33 1997	✔ Available

Cover image for ZUM '95, the Z formal specification notation

ZUM '95, the Z formal specification notation

by International Conference of Z Users
1995
Format: Book

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

Cover image for ZUM '97, the Z formal specification notation

ZUM '97, the Z formal specification notation

by International Conference of Z Users
1997
Format: Book

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

Cover image for ZUM `95

ZUM `95

by Bowen, Jonathan P.
1995
Format: Electronic

Location
Access Content Online

Cover image for ZUM '97 - The Z Formal Specification Notation

ZUM '97 - The Z Formal Specification Notation

by Bowen, J. P.
1997
Format: Electronic

Location
Access Content Online

Cover image for Introduction to formal specification and Z

Introduction to formal specification and Z

by Potter, Ben
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.D47 P68 1996	✔ Available

Cover image for An introduction to formal specification and Z

An introduction to formal specification and Z

by Potter, Ben
1991
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.D47 P68 1991	✔ Available

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 ZB 2000

ZB 2000

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

Location	Call #	Status
Joyner - General Stacks	QA76.73.B155 I58 2000	✔ Available