Using Z specification, refinement and proof
Saved in:
| Main Author: | Woodcock |
|---|---|
| Format: | Book |
| Published: |
London
Prentice Hall
1996
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Using Z specification, refinement, and proof
by: Woodcock, Jim
Published: (1996)
by: Woodcock, Jim
Published: (1996)
Introduction to formal specification and Z
by: Potter
Published: (1996)
by: Potter
Published: (1996)
The Z factor
Managing the new enterprise the proof, not the hype
Published: (1996)
Published: (1996)
The A to Z of Malaysia
by: Ooi, Keat Gin
Published: (2010)
by: Ooi, Keat Gin
Published: (2010)
Autobiography of Z. S. Hastings
by: Hastings, Z. S.
Published: (2010)
by: Hastings, Z. S.
Published: (2010)
The A to Z of the Vikings
by: Holman, Katherine
Published: (2009)
by: Holman, Katherine
Published: (2009)
The A to Z of the Kurds
by: Gunter, Michael M.
Published: (2009)
by: Gunter, Michael M.
Published: (2009)
To open process specification
by: Graham
Published: (1997)
by: Graham
Published: (1997)
XML specification guide
by: Graham
Published: (1999)
by: Graham
Published: (1999)
Programming from specifications
by: Morgan, Carroll 1952-
Published: (1994)
by: Morgan, Carroll 1952-
Published: (1994)
Computer and their use
by: Carter
Published: (1996)
by: Carter
Published: (1996)
An A-Z of ELT methodology
Software requirements analysis and specifications
by: SodhilhJag
by: SodhilhJag
The arithmetic of Z-numbers theory and applications
by: Aliev, Rafik A, et al.
Published: (2015)
by: Aliev, Rafik A, et al.
Published: (2015)
Simulation using promodel
by: Harrell
Published: (2000)
by: Harrell
Published: (2000)
Using JavaBeans
Published: (1997)
Published: (1997)
Cics using cobol
by: Suhy
Published: (1991)
by: Suhy
Published: (1991)
Using C/C++
by: Atkinson
Published: (1993)
by: Atkinson
Published: (1993)
Use your computer
by: Fry
by: Fry
Object-oriented specification and design with C++
by: Henderson
Published: (1993)
by: Henderson
Published: (1993)
Epilepsy A to Z a concise encyclopedia /
by: Tatum, William O.
Published: (2009)
by: Tatum, William O.
Published: (2009)
Schaum's A-Z physics
by: Chapple, Michael
Published: (2003)
by: Chapple, Michael
Published: (2003)
LOVE from A to Z /
by: Ali, S. K.
Published: (2019)
by: Ali, S. K.
Published: (2019)
Political philosophy A-Z
by: Pike
Published: (2007)
by: Pike
Published: (2007)
A To Z of marine scientists
by: Charton lhBarbara
by: Charton lhBarbara
The A to Z of the Old South
by: Richter, William L. (William Lee), 1942-
Published: (2009)
by: Richter, William L. (William Lee), 1942-
Published: (2009)
Thinking from A to Z
by: WarburtonlhNigel
by: WarburtonlhNigel
Rozmowa Pòlocha z Kaszëbą
by: Ceynowa, Florian Stanisław, 1817-1881
Published: (2009)
by: Ceynowa, Florian Stanisław, 1817-1881
Published: (2009)
Writing from A to Z 5the easy-to use reference handbook
by: lh
by: lh
Using microprocessors and microcomputers the Motorola family
by: Wray
by: Wray
Using microprocessors and microcomputers the motorola family
by: Wray
Published: (1999)
by: Wray
Published: (1999)
Visual basic 6 design, specification and objects
by: Hollis ,Billy S.
Published: (1999)
by: Hollis ,Billy S.
Published: (1999)
Guide to standards and specifications for designing Web software
by: Magee, Stan
Published: (1998)
by: Magee, Stan
Published: (1998)
Visual basic 6 design specification and objects
by: HollislhBilly S.
by: HollislhBilly S.
An introduction to programming using C++
by: Mansfield
Published: (1997)
by: Mansfield
Published: (1997)
Similar Items
-
Using Z specification, refinement, and proof
by: Woodcock, Jim
Published: (1996) -
Introduction to formal specification and Z
by: Potter
Published: (1996) - The Z factor
-
Managing the new enterprise the proof, not the hype
Published: (1996) -
The A to Z of Malaysia
by: Ooi, Keat Gin
Published: (2010)