Formal specification using Z a modelling approach

Formal specification using Z a modelling approach

Saved in:

Bibliographic Details
Main Author:	Bottaci, Leonardo
Format:	Book
Published:	Boston International Thomas Pub. 1995
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)

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

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

Formal documentation using Z
by: Bowen, Jonathan
Published: (1996)

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

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

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

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

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

Formal models in programming
Published: (1985)

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

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

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

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

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

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

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

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

Formal VLSI specification and synthesis proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Published: (1990)

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

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

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

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

Formal development of programs and proofs
Published: (1990)

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

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

Formal semantics of Programming languages.
Published: (1972)

Systems specifications
by: Waters, Samuel Joseph
Published: (1979)

The Jini specification
Published: (1999)

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

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

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

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

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

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

Software specification techniques
Published: (1986)

Logic and algebra of specification
Published: (1993)

The Java language specification
Published: (2005)

Specification case studies
Published: (1987)

Specification of software systems
by: Alagar, Vangalur S. 1940-
Published: (1998)