Search alternatives:
z notation » 1 notation, 2 notation, 1.1 notation
Cover Image
Read Now

1
by Goos, Gerhard
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Spezifikationstechniken: Die Z Notation -- 17.1 Spezifikation und Systementwicklung -- 17.2 Grundbegriffe der Z Notation...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
Table of Contents: “... -- The Z Notation: Whence the Cause and Whither the Course? -- Model-Driven Design of Object and Component...”
Cover Image
Read Now

3
by Alagar, V.S., Periyasamy, K.
Published 1998
Springer New York
Table of Contents: “... Vienna Development Method -- 10 The Z Notation -- 11 Larch...”
Cover Image
Read Now

4
by Alagar, V.S., Periyasamy, K.
Published 2011
Springer London
Table of Contents: “... Method -- The Z Notation -- The Object-Z Specification Language -- The B-Method...”
Cover Image
Read Now

5
Published 2015
Springer International Publishing
Table of Contents: “... -- Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation...”
Cover Image
Read Now

6
Published 1997
Springer Berlin Heidelberg
“... the state-of-the-art in research and advanced applications of the Z notation...”
Cover Image
Read Now

7
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... to Specify, Verify and Design Hardware Circuits -- Z on the Web Using Java -- Visualizing Z Notation in HTML...”
Cover Image
Read Now

8
Published 1993
Springer London
“...The Z notation has been developed at the Programming Research Group at the Oxford University...”
Cover Image
Read Now

9
by Lano, Kevin
Published 1995
Springer London
Table of Contents: “... -- A.1 Mathematical Notation -- A.2 Z Notation --...”
Cover Image
Read Now

10
by Ben-Ari, Mordechai
Published 2001
Springer London
Table of Contents: “... Exercises -- 10 Programs: Formal Specification with Z -- 10.1 Case study: a traflfic signal -- 10.2 The Z...”
Cover Image
Read Now

11
by Beutelspacher, Albrecht
Published 2001
Vieweg+Teubner Verlag
Table of Contents: “... Abbildungen -- 1.4 Wann haben zwei Mengen gleich viele Elemente? -- 1.5 Die Z-Notation -- 1.6 Beweisprinzipien...”
Cover Image
Read Now

12
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... specifications in a persistent environment -- Publishing formal specifications in Z notation on world wide web...”
Cover Image
Read Now

13
Published 2016
Springer Nature Singapore
Table of Contents: “... of UML Diagram: Use Case, Class, Sequence Diagram with Z Notation for Representing the Static & Dynamic...”