Z Computer Program Language

89 books
Software development with ZJ. B. Wordsworth
⏱ 5h 34m

Software development with Z

J. B. Wordsworth

1992334 pp.
The Z formal specification notationJonathan P. Bowen
⏱ 7h 15m

The Z formal specification notation

Jonathan P. Bowen

1997435 pp.
A Z readers courseUnknown Author
⏱ 54m

A Z readers course

Unknown Author

199354 pp.
A Z readers courseUnknown Author
⏱ 24m

A Z readers course

Unknown Author

199324 pp.
A Z readers courseUnknown Author
⏱ 1h 5m

A Z readers course

Unknown Author

199365 pp.
Z User Workshop, Cambridge, 1994Z User Workshop (8th 1994 Cambridge, England)
⏱ 6h 43m

Z User Workshop, Cambridge, 1994

Z User Workshop (8th 1994 Cambridge, England)

1994403 pp.
An Introduction to Formal Specification Using ZLeonardo Bottaci
⏱ 5h 20m

An Introduction to Formal Specification Using Z

Leonardo Bottaci

1996320 pp.
Z in practiceRosalind Barden
⏱ 6h 47m

Z in practice

Rosalind Barden

1994407 pp.
ZB 2003 : Formal Specification and Development in Z and BDidier Bert

ZB 2003 : Formal Specification and Development in Z and B

Didier Bert

2003No page data
Structure and Interpretation of Computer Programs in Visual Language ZedZelah Hutchinson
⏱ 2h 18m

Structure and Interpretation of Computer Programs in Visual Language Zed

Zelah Hutchinson

2007138 pp.
Introducing specification using ZB. Ratcliff
⏱ 5h 8m

Introducing specification using Z

B. Ratcliff

1994308 pp.
A Z readers courseUnknown Author
⏱ 55m

A Z readers course

Unknown Author

199355 pp.
An introduction to ZMichael Imperato
⏱ 3h 28m

An introduction to Z

Michael Imperato

1991208 pp.
ZUM '97, the Z formal specification notationInternational Conference of Z Users (10th 1997 Reading, England)
⏱ 7h 13m

ZUM '97, the Z formal specification notation

International Conference of Z Users (10th 1997 Reading, England)

1997433 pp.
A guide to LATEXHelmut Kopka
⏱ 9h 57m

A guide to LATEX

Helmut Kopka

1993597 pp.
Z User Workshop, Oxford, 1990Z User Workshop. (5th 1990 Oxford, England)
⏱ 6h 27m

Z User Workshop, Oxford, 1990

Z User Workshop. (5th 1990 Oxford, England)

1991387 pp.
Z user workshop, Oxford, 1990Z User Meeting (5th 1990 Oxford, England)
⏱ 6h 27m

Z user workshop, Oxford, 1990

Z User Meeting (5th 1990 Oxford, England)

1991387 pp.
Z twenty years on - what is its future ?International Conference on "Putting into Practice Methods and Tools for Information System Design (7th 1995 Nantes, France)
⏱ 4h 24m

Z twenty years on - what is its future ?

International Conference on "Putting into Practice Methods and Tools for Information System Design (7th 1995 Nantes, France)

1995264 pp.
Z User Workshop, York, 1991Z User Workshop. (6th 1991 York, England)
⏱ 6h 41m

Z User Workshop, York, 1991

Z User Workshop. (6th 1991 York, England)

1992401 pp.
ZB 2005Unknown Author
⏱ 8h 13m

ZB 2005

Unknown Author

1899493 pp.
← PreviousPage 2 of 5Next →