An Introduction to formal specification with Z and VDM

An Introduction to formal specification with Z and VDM

Saved in:

Bibliographic Details
Main Author:	Sheppard, Deri
Format:	Book
Published:	London McGraw-Hill 1995
Subjects:	Computer software > Development 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

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)

Formal methods fact file VDM and Z
by: Harry, Andrew
Published: (1996)

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

Practical formal methods with VDM
by: Andrews, Derek
Published: (1991)

The way of z practical programming with formal methods
by: Jacky, Jonathan
Published: (1997)

Introduction to VDM
by: Woodman, Mark
Published: (1993)

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

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

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

VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990
Published: (1990)

Formal specification and software development
by: Bjorner, D. 1937- Dines
Published: (1982)

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

Systematic software development using VDM
by: Jones, C. B. 1944- Cliff B.
Published: (1986)

Proof in VDM a practitioner's guide
Published: (1994)

Logic and specification extending VDM-SL for advanced formal specification
by: Middeiburg, Cornelis A
Published: (1993)

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 assembly language subroutines
by: Leventhal, Lance A
Published: (1983)

The programming process an introduction using VDM and Pascal
by: Latham, John T. 1959 John Timothy
Published: (1990)

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

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

The specification of computer programs
by: Turski, Wadysaw
Published: (1987)

Z formal specification of functional requirement
by: Nursyahidah Alias
Published: (2013)

Software specification and design an engineering approach
by: Munson, John C
Published: (2006)

Larch languages and tools for formal specification
by: Guttag, John
Published: (1993)

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

Generating software from specifications
by: Kastens, Uwe
Published: (2007)

Generating software from specifications
by: Kastens, Uwe
Published: (2007)

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)

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

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

Program development by specification and transformation the PROSPECTRA methodlogy, language family, and systems
Published: (1993)

The construction of formal specifications an introduction to the model-based and algebraic approaches
by: Turner, John G
Published: (1994)

A Practical introduction to software design with C++
by: Reiss, Steven P
Published: (1999)

Path-oriented program analysis
by: Huang, J. C. 1935
Published: (2008)

The OPEN process specification
by: Graham, Ian
Published: (1997)

Agile Java crafting code with test-driven development
by: Langr, Jeff
Published: (2005)