Cover Image

Using Z: specification, refinement and proof/

Main Author:	Woodcock, Jim
Other Authors:	Davies, Jim
Format:	Book
Language:	English
Published:	London: Prentice Hall, 1996
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)

Z: an introduction to formal methods/
by: Diller, Antoni
Published: (1990)

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

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

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

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

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

Z80 applications /
by: Coffron, James
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)

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

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

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

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)

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

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

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

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

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

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

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

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

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)

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

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

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

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

Report from Christchurch /
by: Macfie, Rebecca,

The search for W and Z
by: Stratford, John

Milestones in rock engineering: the Bieniawski Jubilee Collection
Published: (1996)

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

Forging American communism : the life of William Z. Foster /
by: Johanningsmeier, Edward P., 1956-

Η επικοινωνιακή πρόκληση του νεοελληνικού καραγκιόζη στη μετανεωτερικότητα/
by: Κεραμιδιώτη, Κωνσταντίνα

Steppenrutenpflanze : Eine kurdische Kindheit /
by: Yesilo?z, Yusuf
Published: (2000)

Cannot write session to /tmp/vufind_sessions/sess_csgisikhqvlcm4ldnsa99e8in6