Formal object-oriented specification using object-Z

QR Code

Formal object-oriented specification using object-Z

Bibliographic Details
Main Authors:	Duke, Roger (Author), Rose, Gordon (Author)
Format:	Book
Published:	Houndmills, Basingstoke, Hampshire Macmillan Press 2000
Series:	Cornerstones of computing
Subjects:	Object-oriented programming (Computer science) Z (Computer program language)

Similar Items

Formal specification using Z
by: Lightfoot, David 1951-
Published: (2001)

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

Object-oriented methods
by: Graham, Ian
Published: (1991)

Object-oriented programming
by: Coad, Peter, et al.
Published: (1993)

Object-oriented programming
by: Derrick, Ligia
Published: (2014)

Object-oriented programming an introduction
by: Voss, Greg
Published: (1991)

Object-oriented programming an evolutionary approach
by: Cox, Brad J. 1944-, et al.
Published: (1991)

Object-oriented design using Java
by: Skrien, Dale
Published: (2009)

Object-oriented design using java
by: Skrien, Dale
Published: (2009)

Building object-oriented software
by: Montgomery, Stephen L.
Published: (1998)

An introduction to object-oriented programming
by: Budd, Timothy
Published: (1997)

Object-oriented programming with C++
by: Parsons, David
Published: (1997)

An introduction to object-oriented programming with Java
by: Wu, C. Thomas
Published: (2004)

Object-oriented analysis and design with applications
by: Booch, Grady
Published: (2007)

Object-oriented programming with Java an introduction
by: Barnes, David J. (David John) 1959-
Published: (2000)

Foundations of object-oriented languages types and semantics
by: Bruce, Kim B.
Published: (2002)

Object-oriented programming and data analysis using java
by: Rosziata Ibrahim, et al.
Published: (2021)

Visual object-oriented programming concepts and environments
by: Burnett, Margaret 1949-, et al.
Published: (1995)

An introduction to object-oriented programming with Java
by: Wu, C. Thomas
Published: (2006)

An introduction to object-oriented programming with Java
by: Wu, C. Thomas
Published: (2001)

An introduction to object-oriented programming with Java
by: Wu, C. Thomas
Published: (2006)

Introduction to object oriented programming and C++
Published: (2007)

Structured and object-oriented techniques an introduction using C++
by: Staugaard, Andrew C.
Published: (1997)

Object-oriented program development using Java a class-centered approach
by: Bronson, Gary J.
Published: (2004)

Object-oriented program development using Java a class-centered approach
by: Bronson, Gary J., et al.
Published: (2006)

Object-oriented programming in C++ Richard Johnsonbaugh, Martin Kalin
by: Johnsonbaugh, Richard 1941-, et al.
Published: (2000)

Tools for structured and object-oriented design an introduction to programming logic
by: Bohl, Marilyn, et al.
Published: (2008)

Object oriented systems development
by: Bahrami, Ali
Published: (1999)

Object-oriented software engineering
by: Schach, Stephen R.
Published: (2008)

Object-oriented data structures using Java
by: Dale, Nell (Nell B.), et al.
Published: (2012)

A comprehensive introduction to object-oriented programming with Java
by: Wu, C. Thomas
Published: (2008)

Object-oriented software engineering a use case driven approach
by: Jacobson, Ivar
Published: (1992)

Classical and object-oriented software engineering
by: Schach, Stephen R.
Published: (1996)

Advances in object-oriented software engineering
by: Mandrioli, Dino, et al.
Published: (1992)

Management of the object-oriented development process
by: Liu, Liping, et al.
Published: (2006)

Object-oriented analysis and design a pragmatic approach
by: Deacon, John
Published: (2005)

Z an introduction to formal methods
by: Diller, Antoni
Published: (1994)

Object-oriented programming with ActionScript 2.0
by: Tapper, Jeff, et al.
Published: (2004)

Object-oriented frameworks using C++ and CORBA gold book
by: Aklecha, Vishwajit
Published: (1999)

Object-oriented & classical software engineering
by: Schach, Stephen R.
Published: (2007)