Z : an introduction to formal methods

QR Code

Z : an introduction to formal methods

Bibliographic Details
Main Author:	Diller, Antoni (Author)
Format:	Book
Language:	English
Published:	Chichester, West Sussex, England ; New York : Wiley & Sons , c1994
Edition:	2nd ed
Subjects:	Formal methods (Computer science) Z (Computer program language)
Online Access:	Table of Contents

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)

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)

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

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

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

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

An introduction to computable languages and abstract machines
by: Parkes, Alan
Published: (1996)

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

Introduction to automata theory, languages and computation
by: Hopcroft, John E. , 1939-, et al.
Published: (2006)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. , 1939-, et al.
Published: (2007)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2001)

A concise introduction to languages and machines
by: Parkes, Alan
Published: (2007)

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

Theory of computer science : automata, languages and computation
by: Mishra, K. L. P., et al.
Published: (2007)

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

Kuasa tak ketara Institusi KPPA pengaruh tak diheboh
by: Burhanuddin Halim
Published: (2009)

Fuzzy computational ontologies in contexts : formal models of knowledge representation with membership degree and typicality of objects, and their applications
by: Yi, Cai, et al.
Published: (2012)

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: (2006)

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

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

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

Introduction to C++ programming and graphics
by: Pozrikidis, C. [ (Constantine)]
Published: (2007)

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

Beginning C# 3.0 an introduction to object oriented programming
by: Purdum, Jack J. (Jack Jay)
Published: (2007)

Objects first with Java : a practical introduction using BlueJ
by: Barnes, David J. [ (David John)] , 1959-, et al.
Published: (2006)

Invitation to computer science : Java version
by: Schneider, G. Michael, et al.
Published: (2007)

Invitation to computer science
by: Schneider, G. Michael, et al.
Published: (2007)

Computer science : a breadth-first approach with C
by: Impagliazzo, John, et al.
Published: (1995)

Algorithms, languages, automata, and compilers : a practical approach
by: Mozgovoy, Maxim
Published: (2010)

Functional programming using F#
by: Hansen, Micheal R., et al.
Published: (2013)

System software : an introduction to systems programming
by: Beck, Leland L.
Published: (1985)

Concurrent programming in Java : design principles and patterns
by: Lea, Doug
Published: (1997)

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

Pengaturcaraan orientasi objek UML & Java
by: Azah Kamilah Muda
Published: (2002)

Borland C++ 3.1 object-oriented programming
by: Faison, Edmund W.
Published: (1992)

Foundations in grammatical evolution for dynamic environments
by: Dempsey, Ian, et al.
Published: (2009)

Introduction to functional programming [
by: Bell, Alia
Published: (2014)