£44.59

Springer Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994 (Workshops in Computing)

Price data last checked 18 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£45 today · previous high £45 · all-time low £45

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 73 days • 73 data points (No recent data available)

Historical
Generating forecast...
£44.59 £44.52 £44.54 £44.55 £44.57 £44.58 £44.60 22 February 2026 12 March 2026 30 March 2026 17 April 2026 05 May 2026

Price Distribution

Price distribution over 73 days • 1 price levels

Days at Price
73 days 0 18 37 55 73 £45 Days at Price

Price Analysis

Most common price: £45 (73 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 73 days

Description

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
04 July 1994
Listed Since
18 October 2006

Barcode

No barcode data available

Similar Products You Might Like

The Way of Z: Practical Programming with Formal Methods
96% match

The Way of Z: Practical Programming with Formal Methods

Cambridge University Press

£44.15 11 May 2026
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science, 433)
94% match

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science, 433)

Springer

£41.08 28 Apr 2026
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)
94% match

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)

Springer

£41.15 22 Apr 2026
Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)
94% match

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)

Springer

£99.98 25 Feb 2026
Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))
94% match

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£88.50 18 Apr 2026
Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML
94% match

Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML

Addison Wesley

£42.19 10 Feb 2026
Approaches and Applications of Deep Learning in Virtual Medical Care (Advances in Healthcare Information Systems and Administration)
94% match

Approaches and Applications of Deep Learning in Virtual Medical Care (Advances in Healthcare Information Systems and Administration)

£265.86 10 Dec 2025
How to Engineer Software: A Model-Based Approach
94% match

How to Engineer Software: A Model-Based Approach

Wiley-Blackwell

£98.66 14 Feb 2026
Advances in Computer Science and Information Engineering: Volume 2: 169 (Advances in Intelligent and Soft Computing, 169)
94% match

Advances in Computer Science and Information Engineering: Volume 2: 169 (Advances in Intelligent and Soft Computing, 169)

Springer

£319.58 12 Jan 2026
Handbook on Agent-Oriented Design Processes
94% match

Handbook on Agent-Oriented Design Processes

Springer

£76.62 25 Apr 2026
Adversative and Concessive Conjunctions in EFL Writing: Corpus-based Description and Rhetorical Structure Analysis
94% match

Adversative and Concessive Conjunctions in EFL Writing: Corpus-based Description and Rhetorical Structure Analysis

Springer

£76.02 19 Apr 2026
Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018: 925 (Advances in Intelligent Systems and Computing, 925)
94% match

Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018: 925 (Advances in Intelligent Systems and Computing, 925)

Springer

£94.41 24 Apr 2026
Springer Advances in Design and Specification Languages Book
93% match

Springer Advances in Design and Specification Languages Book

Springer

£84.86 30 Apr 2026
Integration-Ready Architecture and Design: Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
93% match

Integration-Ready Architecture and Design: Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies

Cambridge University Press

£6.95 17 Feb 2026
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
93% match

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Springer

£86.32 09 Mar 2026
Law, Politics and the Limits of Prosecuting Mass Atrocity (Human Rights Interventions)
93% match

Law, Politics and the Limits of Prosecuting Mass Atrocity (Human Rights Interventions)

MACMILLAN

£75.80 08 Mar 2026
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
93% match

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Wiley

£114.25 23 Apr 2026
Recent Advances in Computer Science and Information Engineering: Volume 1: 124 (Lecture Notes in Electrical Engineering, 124)
93% match

Recent Advances in Computer Science and Information Engineering: Volume 1: 124 (Lecture Notes in Electrical Engineering, 124)

Springer

£128.38 13 Apr 2026
Recent Advances in Computer Science and Information Engineering: Volume 6: 129 (Lecture Notes in Electrical Engineering, 129)
93% match

Recent Advances in Computer Science and Information Engineering: Volume 6: 129 (Lecture Notes in Electrical Engineering, 129)

Springer

£146.10 13 Jan 2026
Object-Oriented Technology: ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings: 2323 (Lecture Notes in Computer Science, 2323)
93% match

Object-Oriented Technology: ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings: 2323 (Lecture Notes in Computer Science, 2323)

Springer

£44.54 04 May 2026
New Perspectives in Software Engineering: Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020): 1297 (Advances in Intelligent Systems and Computing, 1297)
93% match

New Perspectives in Software Engineering: Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020): 1297 (Advances in Intelligent Systems and Computing, 1297)

Springer

£135.82 15 Apr 2026
Integration of Reusable Systems: 263 (Advances in Intelligent Systems and Computing, 263)
93% match

Integration of Reusable Systems: 263 (Advances in Intelligent Systems and Computing, 263)

Springer

£50.17 28 Feb 2026
Defense Policies of East-Central European Countries After 1989: Creating Stability in a Time of Uncertainty
93% match

Defense Policies of East-Central European Countries After 1989: Creating Stability in a Time of Uncertainty

Manchester University Press

£23.17 01 May 2026
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)
93% match

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)

Springer

£42.08 23 Apr 2026