Subject: program / Genre: Congresses - ECU Libraries Catalog Search Results

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
by International Conference of B and Z Users 2005 : Guildford, England)
2005
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.73.B155 I58 2005

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
by International Conference of B and Z Users 2003 : Turku, Finland)
2003
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.73.B155 I58 2003

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
by International Conference of B and Z Users 2002 : Grenoble, France)
2002
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.73.B155 I58 2002

✔ Available Joyner - General Stacks

Call Number: QA76.73.B155 I58 2000

ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
by International Conference of B and Z Users 2005 : Guildford, England)
2005
Format: Electronic and Book

✔ Available

Call Number: Access Content Online

ZB 2003 formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
by International Conference of B and Z Users 2003 : Turku, Finland)
2003
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

ZB 2002: formal specification and development in Z and B 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
by International Conference of B and Z Users 2002 : Grenoble, France)
2002
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

ZB 2000 formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings
by International Conference of B and Z Users 2000 : York, England)
2000
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
by Ada-Europe International Conference 2001 : Louvain, Belgium)
2001
Format: Electronic, Book, and Print

✔ Available Joyner - General Stacks

Call Number: QA76.73.A16 A23 2001

ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings
by International Conference of Z Users 1998 : Berlin, Germany)
1998
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.73.Z2 I58 1998

Find materials by

Location

Format

Publication Date

Call Number

Collection

Language

Genre

Era

Region

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings

ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings

ZB 2003 formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

ZB 2002: formal specification and development in Z and B 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

ZB 2000 formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings

Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings

ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

ECU Libraries Catalog

Find materials by

Search Constraints

Search Results