Formal documentation using Z

Formal documentation using Z

Saved in:

Bibliographic Details
Main Author:	Bowen, Jonathan
Format:	Unknown
Published:	Singapore ITP Asia 1996
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal specification using Z a modelling approach
by: Bottaci, Leonardo
Published: (1995)

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

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

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

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

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

Using formal description techniques an introduction to Estelle, LOTOS, and SDL
Published: (1993)

CompuServe from A to Z
by: Bowen, Charles
Published: (1991)

CompuServe from A to Z
by: Bowen, Charles
Published: (1991)

Understanding formal methods
by: Monin, Jean Fran?cois 1960-
Published: (2003)

Formal models in programming
Published: (1985)

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

Computer programming and formal systems.
by: Braffort, P. (Pauleed
Published: (1963)

Formal development of programs and proofs
Published: (1990)

Software engineering with formal metrics
by: Ejiogu, Lem O
Published: (1991)

An introduction to formal program verification
by: Mili, Ali
Published: (1985)

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

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

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

Formal semantics of Programming languages.
Published: (1972)

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

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

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

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

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

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

Formal models of agents ESPRIT project modelage final workshop selected papers
Published: (1999)

Formal methods for real-time computing
Published: (1996)

A programming approach to formal methods
by: Casey, Chris
Published: (1994)

Document processing
by: Rowe, Judy
Published: (1993)

Document databases
by: James, Geoffrey 1953-
Published: (1985)

Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1986)

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

The linux A-Z
by: Cornes, Phil
Published: (1997)

Finite automata, formal logic, and circuit complexity
by: Straubing, Howard 1952-
Published: (1994)

An Introduction to discrete mathematics and formal system specification
by: Ince, D
Published: (1988)

Document engineering analyzing and designing documents for business informatics & Web services
by: Glushko, Robert J
Published: (2005)

Testamentary formalities
Published: (2011)

Formal languages
by: Salomaa, Arto
Published: (1987)

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