Free shipping. Search for eligible items

Find specific editions:

Binding

All bindings
Hardcover
Softcover
Audiobook

Publisher

Advanced search

You might like

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 Jonathan P Bowen (Editor), S E Dunne, Andy Galloway (Editor)
See all from $25.00
New only from $79.13
Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
by Jonathan P Bowen (Editor), A Fettweis, Michael G Hinchey (Editor)
See all from $25.00
New only from $73.04
Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
by Jonathan P Bowen (Editor), Michael G Hinchey (Editor)
See all from $15.00
New only from $93.65
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge, 29 - 30 June 1994
by Jonathan P Bowen
See all from $215.10
Formal Methods and Testing: An Outcome of the Fortest Network. Revised Selected Papers
by Robert M Hierons (Editor), Jonathan P Bowen (Editor), Mark Harman (Editor)
See all from $48.87
New only from $48.87
Towards Verified Systems
by Jonathan P Bowen
See all from $28.80

Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

by Jonathan P Bowen (Editor), G Goos (Editor), J Hartmanis (Editor)

Write this item's first Alibris review

Find your copy

Buy it from	$9.75
Buy new from	$9.75

Showing 1 - 1 of 1 edition

Sort by

Change currency

Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings, 1997 ed.

by Jonathan P Bowen (Editor), G Goos (Editor), J Hartmanis (Editor)

ISBN-13: 9783540627173
ISBN: 3540627170

Trade paperback
452 pages

Springer
1997

See all from $9.75

Page 1 of 1

How to find specific editions

Binding

Publisher

You might like

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

Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge, 29 - 30 June 1994

Formal Methods and Testing: An Outcome of the Fortest Network. Revised Selected Papers

Towards Verified Systems

See also:

How are copies unrelated to any edition?

Where is a different edition?

Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Find your copy

Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings, 1997 ed.

by Jonathan P Bowen (Editor), G Goos (Editor), J Hartmanis (Editor)

Reviews of Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

How to find specific editions

Binding

Publisher

You might like

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

Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge, 29 - 30 June 1994

Formal Methods and Testing: An Outcome of the Fortest Network. Revised Selected Papers

Towards Verified Systems

See also:

How are copies unrelated to any edition?

Where is a different edition?

Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Find your copy

Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings, 1997 ed.

by Jonathan P Bowen (Editor), G Goos (Editor), J Hartmanis (Editor)

Reviews of Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Be the first to write a review

Related subjects

Be the first to
write a review