Cover Image

Z: an introduction to formal methods/

Main Author:	Diller, Antoni
Format:	Book
Language:	English
Published:	Chichester [England]: J. Wiley, c1990
Subjects:	Z (Computer program language)

Similar Items

Using Z : specification, refinement, and proof /
by: Woodcock, Jim.
Published: (1996)

Introducing specification using Z: a practical case study approach/
by: Ratcliff, Bryan
Published: (1994)

Software development with Z: a practical approach to formal methods in software engineering/
by: Wordsworth, J. B.
Published: (1992)

The essence of Z/
by: Currie, Ed
Published: (1999)

Using Z: specification, refinement and proof/
by: Woodcock, Jim
Published: (1996)

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

Assembler routines for the Z-80/
by: Barrow, David
Published: (1985)

Z80 assembly language subroutines/
by: Leventhal, Lance A., 1945-
Published: (1983)

Programming the Z80/
by: Zaks, Rodnay
Published: (1982)

Z80 assembly language subroutines /
by: Leventhal, Lance A., 1945-.
Published: (1983)

Z80, assembly language programming/
by: Leventhal, Lance A., 1945-
Published: (1979)

Z80 machine code for humans/
by: Tootill, Alan
Published: (1983)

Software development with Z : a practical approach to formal methods in software engineering /
by: Wordsworth, J. B.
Published: (1970)

The Z-80 microcomputer handbook/
by: Barden, William T.
Published: (1978)

Z-80 microprocessor : programming & interfacing /
by: Nichols, Elizabeth Agnew
Published: (1979)

The Z80 microprocessor : hardware, software, programming, and interfacing /
by: Brey, Barry B.
Published: (1988)

Teach yourself Assembler Z-80/
by: Overaa, Paul Andreas
Published: (1984)

Z-80 and 8080 assembly language programming/
by: Spracklen, Kathe
Published: (1979)

Z80 applications /
by: Coffron, James
Published: (1983)

An introduction to the Laplace transform and the Z-transform/
by: Grove, A. C. 1937-
Published: (1991)

The physics of the Z and W bosons
by: Tenchini, Roberto.
Published: (2008)

Laplace and z-transforms /
by: Bolton, W. 1933-
Published: (1994)

Z8000 CPU user's reference manual/
Published: (1982)

Introductory logic and formal methods /
by: Heath, David
Published: (1994)

Z80, 6502, 68000 Assembly
by: Θεοδώρου, Γιώργος Β.
Published: (1986)

Ο μικροεπεξεργαστής Z80 και τα περιφερειακά του Υλικό, προγραμματισμός, εφαρμογές : CPU - CTC - SIO - DMA
by: Σύρκος, Γεώργιος Π.
Published: (1997)

Introductory logic and formal methods/
by: Heath, David
Published: (1994)

D.Z. Phillips' contemplative philosophy of religion questions and responses /
Published: (2007)

Theory and application of the z-transform method
by: Jury, Eliahu Ibrahim, 1923-
Published: (1973)

DB2 for z/OS and OS/390 ready for Java /
Published: (2003)

Note schedografiche inedite del Marc. GR. Z487=883
by: Marcheselli - Loukas, Lucia
Published: (1971)

Ethics of belief essays in tribute to D. Z. Phillips /
Published: (2008)

James Z. George Mississippi's great commoner /
by: Smith, Timothy B., 1974-
Published: (2012)

Writing optimized Java applications for z/OS
Published: (2002)

Groovy programming : an introduction for Java developers /
by: Barclay, Kenneth A., 1947-
Published: (2007)

Formal languages, automata and numeration systems 2 /
by: Rigo, Michel,

Pascal, an introduction to methodical programming/
by: Findlay, William, 1947-
Published: (1985)

Pascal: an introduction to methodical programming/
by: Findlay, William, 1947-
Published: (1981)

Z?ic?a= Le Monastere de Z?ic?a : istorija, arkhitektura, slikarstvo: histoire, architecture, peinture/
by: Kas?anin, Milan, 1895-
Published: (1969)

Formal syntax and semantics of programming languages : a laboratory based approach /
by: Slonneger, Kenneth
Published: (1995)

Cannot write session to /tmp/vufind_sessions/sess_jp4gndltf9ighj408gmll4h4l1