The way of z practical programming with formal methods

The way of z practical programming with formal methods

Saved in:

Bibliographic Details
Main Author:	Jacky, Jonathan
Format:	Book
Published:	New York Cambridge 1997
Subjects:	Z (Computer program language)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Z guide for beginners
by: McMorran, Mike
Published: (1993)

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

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

An introduction to formal specification and Z
by: Potter, Ben
Published: (1996)

Software development with Z a practical approach to formal methods in software engineering
by: Wordsworth, John
Published: (1995)

An Introduction to formal specification with Z and VDM
by: Sheppard, Deri
Published: (1995)

Z User Meeting proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford
Published: (1991)

Pemodelan perisian menggunakan Z
by: Zarina Shukur
Published: (2005)

Programming in Z80 assembly language
by: Hutty, Roger
Published: (1984)

Z8000 assembly language programming
by: Leventhal, Lance A. 1945-
Published: (1980)

Z80 assembly language programming for students
by: Hutty, Roger

Z80 instruction handbook
by: Wadsworth, Nat
Published: (1978)

Structured assembly language programming for the Z80
by: Ozick, Daniel N
Published: (1985)

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

The Z80 microprocessor architecture, interfacing, programming and design
by: Gaonkar, Ramesh S.
Published: (1993)

The Z80 microprorcessor architecture, interfacing, programming, and design
by: Gaonkar, Ramesh S
Published: (2001)

Z80 assembly language subroutines
by: Leventhal, Lance A
Published: (1983)

Z80 microprocessor technology hardware, software, and interfacing
by: Bignell, James
Published: (1986)

Refinement in 2 and object - 2 : foundations and advanced applications
by: Derrick, John, 1963-

The 8080, 8085, and Z80 hardware, software, programming, interfacing, and troubleshooting
by: LaLond, David 1950-
Published: (1988)

East Asian Pop Culture Analysing the Korean Wave
Published: (2008)

Z a beginner's guide
by: Rann, David
Published: (1994)

The way of Java
by: Entsminger, Gary
Published: (1997)

Microprocessor technology
by: Anderson, Stuart
Published: (1994)

The Ruby way solution and techniques in Ruby programming
by: Fulton, Hal Edwin 1961-
Published: (2006)

Microcomputers and microprocessors the 8080, 8085, and Z-80 programming, interfacing and troubleshooting
by: Uffenbeck, John
Published: (2000)

The digital way MACRO-11 assembly language programming (PDP-11 [superscript trade mark symbol])
by: Peters, James F
Published: (1985)

An introduction to equity by G. W. Keeton
by: Keeton, George Williams 1902-
Published: (1962)

Z-80 microcomputer design projects
by: Barden, William T
Published: (1980)

Computer programming in Pascal the easy way
by: Downing, Douglas
Published: (1984)

Simplified computer programing--the easy RPG way
by: Carson, Kelton
Published: (1975)

The light of day
by: Swift, Graham

Learning to program the object-oriented way with C#
by: Cahill, V (Vinny)
Published: (2002)

Java the UML way integrating object-oriented design and programming
by: Lervik, Else
Published: (2002)

Women in the Middle East and North Africa agents of change
Published: (2011)

Perceraian MASALAH DAN PENYELESAIAN MENURUT PERUNDANGAN ISLAM
by: Zurina Abdul Khalid
Published: (2003)

Views of 18th century China costumes, history, customs
by: Alexander, William 1767-1816
Published: (1988)

DarkBasic pro game programming
by: Harbour, Jonathan S.
Published: (2007)

Formal semantics of Programming languages.
Published: (1972)

The formal semantics of programming languages n introduction
by: Winskel, G. (Glynn
Published: (1993)