An introduction to formal specification and Z

QR Code

An introduction to formal specification and Z

Bibliographic Details
Main Authors:	Potter, Ben (Author), Sinclair, Jane (Author), Till, David (Author)
Format:	Book
Language:	English
Published:	London ; New York : Prentice Hall , c1996
Edition:	2nd ed
Series:	Prentice-Hall international series in computer science
Subjects:	Computer software > Development Z (Computer program language)

Similar Items

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

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

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

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

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)

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

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

Compiler design : principles, techniques and tools

Agile Java development with Spring, Hibernate and Eclipse
by: Hemrajani, Anil, et al.
Published: (2006)

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

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

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

Rigorous software development : an introduction to program verification
by: Almeida, Jose Bacelar
Published: (2011)

Software design
by: Budgen, David
Published: (2003)

Real world solutions for developing high-quality PHP frameworks and applications
by: Bergmann, Sebastian 1978-, et al.
Published: (2011)

Applications programming in C++
by: Johnsonbaugh, Richard 1941-, et al.
Published: (1999)

J2EE architecture an illustrative gateway to enterprise solutions : concepts to application design and deployment
by: Kumar, B. V. , 1959-, et al.
Published: (2005)

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

Meneguk cinta di bumi barakah
by: Mohd Zaman b. Azad Khan
Published: (2011)

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

Know all about software [ types, architecture, quality, development & engineering
by: Osborn, Temeka
Published: (2014)

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

Programming with JavaScript : algorithms and applications for desktop and mobile browsers
by: Dionisio, John David N. , 1970-, et al.
Published: (2013)

Enterprise-scale agile software development
by: Schiel, James
Published: (2010)

Android NDK beginner's guide [ discover the native side of Android and inject the power of C/C++ in your applications
by: Ratabouil, Sylvain
Published: (2012)

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

Error-free software : know-how and know-why of program correctness
by: Baber, Robert Laurence
Published: (1991)

Agile software development : evaluating the methods for your organization
by: Koch, Alan S.
Published: (2005)

Practical software project estimation [ a toolkit for estimating software development effort & duration
by: Hill, Peter R.
Published: (2011)

The Java virtual machine specification
by: Lindholm, Tim , 1961-, et al.
Published: (1997)

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

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

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

The ColdFusion 5 Web application construction kit
by: Forta, Ben
Published: (2001)

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

Software development rhythms harmonizing agile practices for synergy
by: Lui, Kim Man, et al.
Published: (2008)

Software prototyping, format methods and VDM
by: Hekmatpour, Sharam , 1961-, et al.
Published: (1988)