Cover Image

Using Z specification, refinement, and proof

Saved in:

Bibliographic Details
Main Author:	Woodcock, Jim
Other Authors:	Davies, Jim 1964-
Format:	Book
Language:	English
Published:	London Prentice Hall 1996.
Series:	Prentice-Hall international series in computer science.
Subjects:	Z (Computer program language). Computer software > development.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Introduction to formal specification and Z
by: Potter
Published: (1996)

Using Z specification, refinement and proof
by: Woodcock
Published: (1996)

Java software structures designing & using data structures
by: Lewis, John 1963-
Published: (2005)

A practical introduction to software design with C++
by: Reiss
Published: (1999)

Software requirment & specifications a lexicon of practice, principles and prejudices
by: Jackson, Michael (Michael James)
Published: (1995)

Object-oriented programming in JAVA
by: KalinlhMartin

Advanced java 2 development for enterprise applications
by: Berg lhClifford J.

Developing Java software
by: Winder
Published: (2006)

Software design from programming to architecture
by: Braude
Published: (2004)

Object-oriented analysis and design understanding system development with UML 2.0
by: O'Docherty
Published: (2005)

Software engineering Principles and practise
by: Vlient

AS/400 application development with VisualAge for Smalltalk
Published: (1997)

Into 3D with form Z Modeling, rendering and animation
by: KhemlanilhLachmi

Agile software development quality assurance
Published: (2007)

Secure software development a security programmer's guide
by: Grembi, Jason
Published: (2008)

Build a program now! Microsoft Visual Basic 2008 Express edition
by: Pelland, Patrice
Published: (2008)

Software project management a process-driven approach
by: Ahmed, Ashfaque
Published: (2012)

Process-based software project management
by: Goodman
Published: (2006)

Software engineering best practices lessons from successful projects in the top companies
by: Jones, Capers
Published: (2010)

Object-oriented systems development a gentle introduction
by: Britton, Carol
Published: (2001)

Object oriented system analysis and design
by: Ashrafi, Noushin
Published: (2008)

Introduction to programming using SML
by: HansenlhMichael R.

Reka bentuk berbantu komputer asas pemodelan
by: Jamaluddin Mohd Taib
Published: (2006)

The unified modeling language user guide
by: Booch
Published: (2005)

Visual basic : a reference for beginners & developers /
by: Sellappan, P.
Published: (1996)

Database design and implementation
by: Scoire
Published: (2009)

Symantec visual cafe sourcebook
by: Jardin
Published: (1997)

Software engineering for students
by: Bell 1944-
Published: (2005)

Patterns in java
by: Grand, Mark
Published: (1999)

Operating systems & middleware Supporting controlled interaction
by: Hailperin
Published: (2007)

The Essence of professional issues in computing
by: Ayres

Developing visual programming applications using smalltalk
by: LindermanlhMichael

C++ software development for technology students
by: Conger, David
Published: (2000)

The cucumber for Java book behaviour-driven development for testers and developers
by: Rose, Seb, et al.
Published: (2015)

The java developer's toolkit
by: Marketos
Published: (1997)

Introduction to software design and development with ADA
by: RuddlhDavid

Framework-based software development in C++
by: RogerslhGregory F.

Python create-modify-reuse
by: Knowlton, Jim
Published: (2008)

Software engineering for modern Web applications methodologies and technologies
Published: (2008)

Writing scientific software a guide for good style
by: Oliveira ,Suely
Published: (2006)