Loading...

QR Code

The way of z practical programming with formal methods

Bibliographic Details
Main Author:	Jonathan Jacky
Format:	Printed Book
Language:	English
Published:	Cambridge University Press 1997

Similar Items

The way of Z: practical programming with formal methods
by: Jacky, Jonathan
Published: (1997)

The Way of Z: practical programming with formal methods
by: Jacky, Jonathan
Published: (1997)

Formal methods of program verification
by: Berg,H.K

Formal methods of program verification
by: Berg,H.K

Formal methods of program verification and specification
by: H K Berg, et al.
Published: (1982)

Formal models in programming
by: Neuhold, E J
Published: (1985)

Computer Programming and Formal Systems
by: Braffort P. and Hirschberg D.
Published: (1970)

Formal discription of programming concepts.
by: Neuhold, E.J
Published: (1991)

Computer programming and formal systems.
by: Braffort, P.ed
Published: (1970)

Formal Description of Programming Concepts
by: Erich J. Neuhold, Manfred Paul
Published: (1991)

Formal Development Of Programs And Proofs
by: Dijkstra, Edsger W
Published: (1990)

Formality/
by: Saraswathy B
Published: (2015)

Model-based software testing and analysis with C#
by: Jacky, Jonathan
Published: (2008)

Formal Methods in Artificial Intelligence
by: J P Delahaye
Published: (1987)

Formal methods in artificial intelligence /
by: Delahaye, J P
Published: (1987)

Formal methods in artificial intelligence/
by: Ramsay, Allan
Published: (1988)

S/Z /
by: Barthes, Roland
Published: (1998)

S/Z
by: Barthes, Roland
Published: (1974)

Z/
by: Vasilikov,Vasilez
Published: (1991)

S/Z
by: Barthes, Roland
Published: (1974)

S/Z
by: Barthes, Roland, et al.

Z
by: Vasilikov, Vasilis
Published: (1991)

Z
by: Vasilikov Vasilez
Published: (1991)

Ethics A-Z /
by: Jacobs, Jonathan A.
Published: (2005)

Ethics A-Z /
by: Jacobs, Jonathan A.
Published: (2005)

Ethics : A-Z
by: Jonathan A Jacobs
Published: (2005)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
by: Beth, Evert W.
Published: (1962)

Formal languages and formal power series
by: Mary, V.M
Published: (1989)

Z- ideals and Z- filters /
by: Rolly P Varghese
Published: (1985)

JCL programming bible (with z/OS) /
by: Brown, Gary Deward
Published: (2002)

Z 80 assembly language programming
by: Leventhal, Lance A
Published: (1986)

Z80 Assembly Language Programming
by: Leventhal,Lance.A
Published: (1979)

Z 80 Assembly language programming /
by: Leventhal, Lance A.
Published: (1986)

JCL programming bible (with z/OS) /
by: Brown, Gary DeWard .
Published: (2002)

Formalism and marxism /
by: Bennett, Tony
Published: (1979)

Formal ethics /
by: Gensler, Harry J.
Published: (1996)

Formalism and Marxism /
by: Bennett, Tony
Published: (2003)

Formal logic /
by: Lorenzen, Paul
Published: (1965)

Formal logic /
Published: (2017)

Formalism and Marxism /
by: Bennett, Tony
Published: (1979)