Formal specification using Z

QR Code

Formal specification using Z

Bibliographic Details
Main Author:	Lightfoot, David , 1951- (Author)
Format:	Book
Language:	English
Published:	Basingstoke ; New York : Palgrave , c2001
Edition:	2nd ed
Series:	Grassroots series
Subjects:	Computer software > Development Formal methods (Computer science) Z (Computer program language)

Similar Items

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

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

Formal object-oriented specification using object-Z
by: Duke, Roger, et al.
Published: (2000)

Formal engineering for industrial software development : using the SOFL method
by: Liu, Shaoying , 1960-
Published: (2004)

Foundations of algebraic specification and formal software development
by: Sannella, Donald , 1956-, et al.
Published: (2012)

Dynamic logic [electronic resource]
by: Harel, David , 1950-, et al.
Published: (2000)

UML 2 semantics and applications
by: Lano, Kevin
Published: (2009)

Practical formal methods with VDM
by: Andrews, D. [ (Derek)], et al.
Published: (1991)

Form.Z 4 : 3D modeling, rendering and animation
by: Khemlani, Lachmi
Published: (2004)

Generating software from specifications
by: Waite, W. M. [ (William McCastline)], et al.
Published: (2006)

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

Using UML software engineering with objects and components
by: Stevens, Perdita, et al.
Published: (2000)

Object-oriented systems analysis and design using UML
by: Bennett, Simon , 1956-, et al.
Published: (2000)

Object-oriented systems analysis and design using UML
by: Bennett, Simon , 1956-, et al.
Published: (2002)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2012)

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

Using aspect-oriented programming for trustworthy software development
by: Safonov, V. O. [ (Vladimir Olegovich)]
Published: (2008)

VDM '90 : VDM and Z - formal methods in software development
by: Bjorner, D. [ (Dines)] , 1937-, et al.
Published: (1990)

Object-oriented software engineering : practical software development using UML and Java
by: Lethbridge, Timothy Christian , 1963-, et al.
Published: (2005)

Agile principles, patterns, and practices in C#
by: Martin, Robert C., et al.
Published: (2007)

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

Business objects : software solutions
by: Spurr, Kathy
Published: (1994)

The language of machines an introduction to computability and formal languages
by: Floyd, Robert W.
Published: (1993)

Android boot camp for developers using Java comprehensive : a beginner's guide to creating your first Android Apps
by: Hoisington, Corinne
Published: (2013)

Object-oriented technology : from diagram to code with Visual Paradigm for UML
by: Tsang, Curtis HK, et al.
Published: (2010)

Unified modeling language : systems analysis, design and development issues
by: Siau, Keng , 1964-, et al.
Published: (2001)

UML distilled : a brief guide to the standard object modeling language
by: Fowler, Martin
Published: (2004)

Practical Object-Oriented Design with UML
by: Priestley, Mark
Published: (2000)

UML distilled : a brief guide to the standard object modeling languange / Martin Fowler with Kendall Scott
by: Fowler, Martin, et al.
Published: (2000)

Compiler design : principles, techniques and tools

Cloud computing based projects using distributed architecture
by: Das Gupta, Pranab Kumar, et al.
Published: (2013)

Software ecosystem understaning an indispensable technology and industry
by: Messerschmitt, David G., et al.
Published: (2007)

Rapid Java development using JBuilder3
by: Liang, Y. Daniel
Published: (2000)

Perisian sistem
by: Subariah Ibrahim
Published: (2001)

Formal language and automata theory
by: Reddy, E. Srinivasa
Published: (2016)

The unified modeling language user guide
by: Booch, Grady, et al.
Published: (1999)

Flexible, reliable software : using patterns and agile development
by: Christensen, Henrik B.
Published: (2010)

The Java language specification
by: Gosling, James , 1955-, et al.

Software estimation best practices, tools & techniques : a complete guide for software project estimators
by: Chemuturi, Murali , 1950-
Published: (2009)

Ulama dan perkembangan Islam di Sarawak dan Sabah
by: Farid Mat Zain, et al.
Published: (2018)