The Z notation : a reference manual /

The Z notation : a reference manual /

57

Bibliographic Details
Main Author:	201842 Spivey, J. M.
Format:
Published:	Englewood Cliffs, N.J. : Prentice-Hall, 1989
Subjects:	Z (Computer program language)

Similar Items

Understanding Z : a specification language and its formal semantics /
by: 201842 Spivey, J. M.
Published: (1988)

Formal specification using Z : a modelling approach /
by: 465694 Bottaci, Leonardo, et al.
Published: (1995)

An introduction to formal specification and Z /
by: 377490 Potter, Ben, et al.
Published: (1991)

Pemodelan perisian menggunakan Z /
by: 175946 Zarina Shukur, et al.
Published: (2005)

Formal specification and documentation using Z : a case study approach /
by: 465665 Bowen, Jonathan
Published: (1996)

The annotated C++ reference manual /
by: 342450 Ellis, Margaret A., et al.
Published: (1990)

Z8000 CPU user's reference manual /
by: Zilog, Inc
Published: (1982)

C : a reference manual /
by: Harrison, Samuel P, et al.
Published: (1991)

A fortran reference manual /
by: Ridler, Philip F
Published: (1979)

C : a reference manual /
by: 194310 Harbison, Samuel P., et al.
Published: (2002)

C : a reference manual /
by: 456356 Harbinson, Samuel P., et al.
Published: (1987)

Assembly language for the Z80 /
by: 284837 Ullmann, Julian
Published: (1984)

Z80 : assembly language programming /
by: 394067 Leventhal, Lance A.
Published: (1982)

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
by: Sebastian Ullrich, et al.
Published: (2022-04-01)

The programming language : ADA reference manual
Published: (1981)

Pascal/VS language reference manual
Published: (1981)

The programmer's ANSI COBOL reference manual /
by: 237853 Sordillo, Donald A.
Published: (1978)

The annotated VRML 2.0 reference manual /
by: 402708 Carey, Rikk, et al.
Published: (1997)

The personal computer Basic(S) reference manual /
by: 237853 Sordillo, Donald A.
Published: (1983)

Turbo pascal version 3.0 : reference manual
Published: (n d])

Symap user's reference manual /
by: 286054 Dougenik, James A., et al.
Published: (1975)

IBM PC user's reference manual /
by: Held, Gilbert, 1943-
Published: (1984)

Applesoft basic programmer's reference manual /
Published: (1983)

The annotated VRML 2.0 reference manual / [cakera padat]
by: 402708 Carey, Rikk, et al.
Published: (1997)

Z80 instant programs : machine code routines for Nascom and Z80 computer systems /
by: 230184 Hopton, J.
Published: (1979)

Z80 users manual /
by: 344241 Carr, Joseph J.
Published: (1980)

Apple II instant Pascal language reference manual
Published: (1985)

Standard SQL relational data base language guide and reference manual /
by: 243065 Musteata, Boris, et al.
Published: (1987)

IBM PC & PC XT user's reference manual /
by: Held, Gilbert, 1943-
Published: (1987)

C : the complete reference /
by: 431547 Schildt, Herbert
Published: (1987)

XSLT : programmer's reference /
by: 363355 Kay, Michael
Published: (2000)

C++ : the complete reference /
by: 431547 Schildt, Herbert
Published: (2003)

C++ : the complete reference /
by: 431547 Schildt, Herbert
Published: (1995)

Stress: a reference manual: a problem-oriented computer language for structural engineering
by: Logcher, Robert D., et al.
Published: (1965)

Lotus 1,2,3 : reference manual
Published: ([19-)

Appleworks : reference manual
Published: (1983)

C/C++ : programmer's reference /
by: 431547 Schildt, Herbert
Published: (1997)

Turbo Basic instant reference /
by: 406877 Hergert, Douglas
Published: (1988)

Turbo pascal : the complete reference /
by: O'Brien, Stephen K.
Published: (1988)

Turbo C : the complete reference /
by: 431547 Schildt, Herbert
Published: (1988)