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

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

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)

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

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)

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

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)

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)

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

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

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)

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

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)

An introduction to parallel programming
by: Pacheco, Peter S.
Published: (2011)