The way of z practical programming with formal methods

Détails bibliographiques
Auteur principal:	Jonathan Jacky
Format:	Printed Book
Langue:	English
Publié:	Cambridge University Press 1997

Chargement en cours...

The way of Z: practical programming with formal methods
par: Jacky, Jonathan
Publié: (1997)

Chargement en cours...

The Way of Z: practical programming with formal methods
par: Jacky, Jonathan
Publié: (1997)

Chargement en cours...

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

Chargement en cours...

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

Chargement en cours...

Formal methods of program verification and specification
par: H K Berg, et autres
Publié: (1982)

Chargement en cours...

Formal models in programming
par: Neuhold, E J
Publié: (1985)

Chargement en cours...

Computer Programming and Formal Systems
par: Braffort P. and Hirschberg D.
Publié: (1970)

Chargement en cours...

Formal discription of programming concepts.
par: Neuhold, E.J
Publié: (1991)

Chargement en cours...

Computer programming and formal systems.
par: Braffort, P.ed
Publié: (1970)

Chargement en cours...

Formal Description of Programming Concepts
par: Erich J. Neuhold, Manfred Paul
Publié: (1991)

Chargement en cours...

Formal Development Of Programs And Proofs
par: Dijkstra, Edsger W
Publié: (1990)

Chargement en cours...

Formality/
par: Saraswathy B
Publié: (2015)

Chargement en cours...

Model-based software testing and analysis with C#
par: Jacky, Jonathan
Publié: (2008)

Chargement en cours...

Formal Methods in Artificial Intelligence
par: J P Delahaye
Publié: (1987)

Chargement en cours...

Formal methods in artificial intelligence /
par: Delahaye, J P
Publié: (1987)

Chargement en cours...

Formal methods in artificial intelligence/
par: Ramsay, Allan
Publié: (1988)

Chargement en cours...

S/Z /
par: Barthes, Roland
Publié: (1998)

Chargement en cours...

S/Z
par: Barthes, Roland
Publié: (1974)

Chargement en cours...

Z/
par: Vasilikov,Vasilez
Publié: (1991)

Chargement en cours...

S/Z
par: Barthes, Roland
Publié: (1974)

Chargement en cours...

S/Z
par: Barthes, Roland, et autres

Chargement en cours...

Z
par: Vasilikov, Vasilis
Publié: (1991)

Chargement en cours...

Z
par: Vasilikov Vasilez
Publié: (1991)

Chargement en cours...

Ethics A-Z /
par: Jacobs, Jonathan A.
Publié: (2005)

Chargement en cours...

Ethics A-Z /
par: Jacobs, Jonathan A.
Publié: (2005)

Chargement en cours...

Ethics : A-Z
par: Jonathan A Jacobs
Publié: (2005)

Chargement en cours...

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

Chargement en cours...

Formal languages and formal power series
par: Mary, V.M
Publié: (1989)

Chargement en cours...

Z- ideals and Z- filters /
par: Rolly P Varghese
Publié: (1985)

Chargement en cours...

JCL programming bible (with z/OS) /
par: Brown, Gary Deward
Publié: (2002)

Chargement en cours...

Z 80 assembly language programming
par: Leventhal, Lance A
Publié: (1986)

Chargement en cours...

Z80 Assembly Language Programming
par: Leventhal,Lance.A
Publié: (1979)

Chargement en cours...

Z 80 Assembly language programming /
par: Leventhal, Lance A.
Publié: (1986)

Chargement en cours...

JCL programming bible (with z/OS) /
par: Brown, Gary DeWard .
Publié: (2002)

Chargement en cours...

Formalism and marxism /
par: Bennett, Tony
Publié: (1979)

Chargement en cours...

Formal ethics /
par: Gensler, Harry J.
Publié: (1996)

Chargement en cours...

Formalism and Marxism /
par: Bennett, Tony
Publié: (2003)

Chargement en cours...

Formal logic /
par: Lorenzen, Paul
Publié: (1965)

Chargement en cours...

Formal logic /
Publié: (2017)

Chargement en cours...

Formalism and Marxism /
par: Bennett, Tony
Publié: (1979)

The way of z practical programming with formal methods

Documents similaires

Documents similaires