"Z (Computer program language)+Congresses." - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

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

Showing 1 - 10 of 12 results

Search Results

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, 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 ZB 2002

ZB 2002

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

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

ZB 2005

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

Location
Access Content Online