Understanding Z : a specification language and its formal semantics /

Understanding Z : a specification language and its formal semantics /

Bibliography: p. [119]-122

Bibliographic Details
Main Author:	201842 Spivey, J. M.
Format:
Language:
Published:	Cambridge, UK : Cambridge University Press, 1988
Subjects:	Z (Computer program language) Programming languages (Electronic computers)

Similar Items

The Z notation : a reference manual /
by: 201842 Spivey, J. M.
Published: (1989)

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)

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

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

Formal specification of interactive graphics programming languages /
by: 456219 Mallgren, William R.
Published: (1983)

Programming language syntax and semantics /
by: Watt, David A. (David Anthony), et al.
Published: (1990)

Formal semantics for VHDL /
by: Kloos, Carlos Delgado, et al.
Published: (1995)

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

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

Understanding programming languages /
by: 203452 Ben-Ari, Monti
Published: (1996)

Automata and formal languages : an introduction /
by: 357063 Kelley, Dean
Published: (1995)

Programming language foundations /
by: 568521 Stump, Aaron
Published: (2014)

Computational semantics with functional programming /
by: Eijck, J. van (Jan), et al.
Published: (2010)

Introduction to the theory of programming languages /
by: Meyer, Bertrand, 1950-
Published: (1990)

An enigma in language : the meaning of the fundamental linguistic elements. A possible explanation in terms of cognitive functions : operational semantics /
by: Benedetti, Guilio
Published: (2012)

Understanding SQL
by: 277372 Lynch, Elizabeth

An introduction to computer languages
by: 179948 Heaps, H.

The "Oslo" modeling language : draft specification-october 2008 /
by: Langworthy, David, 1964-, et al.
Published: (2009)

Control flow semantics /
by: 327627 De Bakker, Jacobus Willem, et al.
Published: (1996)

Computer semantics : studies of algorithms, processors and languages /
by: 183953 Lee, John A. N.
Published: (1972)

The GASP IV simulation language /
by: 287947 Pritsker, A. Alan B.
Published: (1974)

Theoretical aspects of object-oriented programming : types, semantics and language design /
by: Gunter, Carl A., et al.
Published: (1993)

Introduction to computer science using the turing programming language /
by: 217982 Holt, Richard C., et al.
Published: (1984)

Introduction to programming languages /
by: 588594 Bansal, Arvind Kumar
Published: (2014)

Software : Programming languages
by: Open University. Algorithmic Approach to Computing Course Team
Published: (1973)

Assembly language programming for the Apple II /
by: 406279 Mottola, Robert
Published: (1982)

Scripting in Java : languages, frameworks, and patterns /
by: 258241 Bosanac, Dejan
Published: (2008)

Information technology : programming languages : MUMPS
by: 8096 British Standards Institution, et al.

Information technology : programming languages - FORTRAN
by: 8096 British Standards Institution, et al.

CCITT high level language (CHILL)
by: 8096 British Standards Institution, et al.

Symposium on semantics of algorithmic languages /
by: Symposium on Semantics of Algorithmic Languages (1970 : Minneapolis), et al.
Published: (1971)

Semantics-directed compiler generation : proceedings /
by: Workshop on Semantics-Directed Compiler Generation (1980 : Aarhus)
Published: (1980)

Concepts of programming languages /
by: 282148 Elson, Mark
Published: (1973)

Programming and languages [kasetvideo]
Published: ([19-)

Programming and languages [filem]
Published: ([n.d)

Programming language fundamentals by example /
by: 264986 Stevenson, D. E.
Published: (2007)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal 409791, et al.
Published: (c201)

Natural language understanding /
by: Allen, James, 1960-
Published: (1987)

P-Prolog : a parallel logic programming language /
by: 223115 Yang, Rong
Published: (1987)