Carregant...

Codi QR

The way of z practical programming with formal methods

Dades bibliogràfiques
Autor principal:	Jonathan Jacky
Format:	Printed Book
Idioma:	English
Publicat:	Cambridge University Press 1997

Ítems similars

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

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

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

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

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

Formal models in programming
per: Neuhold, E J
Publicat: (1985)

Computer Programming and Formal Systems
per: Braffort P. and Hirschberg D.
Publicat: (1970)

Formal discription of programming concepts.
per: Neuhold, E.J
Publicat: (1991)

Computer programming and formal systems.
per: Braffort, P.ed
Publicat: (1970)

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

Formal Development Of Programs And Proofs
per: Dijkstra, Edsger W
Publicat: (1990)

Formality/
per: Saraswathy B
Publicat: (2015)

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

Formal Methods in Artificial Intelligence
per: J P Delahaye
Publicat: (1987)

Formal methods in artificial intelligence /
per: Delahaye, J P
Publicat: (1987)

Formal methods in artificial intelligence/
per: Ramsay, Allan
Publicat: (1988)

S/Z /
per: Barthes, Roland
Publicat: (1998)

S/Z
per: Barthes, Roland
Publicat: (1974)

Z/
per: Vasilikov,Vasilez
Publicat: (1991)

S/Z
per: Barthes, Roland
Publicat: (1974)

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

Z
per: Vasilikov, Vasilis
Publicat: (1991)

Z
per: Vasilikov Vasilez
Publicat: (1991)

Ethics A-Z /
per: Jacobs, Jonathan A.
Publicat: (2005)

Ethics A-Z /
per: Jacobs, Jonathan A.
Publicat: (2005)

Ethics : A-Z
per: Jonathan A Jacobs
Publicat: (2005)

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

Formal languages and formal power series
per: Mary, V.M
Publicat: (1989)

Z- ideals and Z- filters /
per: Rolly P Varghese
Publicat: (1985)

JCL programming bible (with z/OS) /
per: Brown, Gary Deward
Publicat: (2002)

Z 80 assembly language programming
per: Leventhal, Lance A
Publicat: (1986)

Z80 Assembly Language Programming
per: Leventhal,Lance.A
Publicat: (1979)

Z 80 Assembly language programming /
per: Leventhal, Lance A.
Publicat: (1986)

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

Formalism and marxism /
per: Bennett, Tony
Publicat: (1979)

Formal ethics /
per: Gensler, Harry J.
Publicat: (1996)

Formalism and Marxism /
per: Bennett, Tony
Publicat: (2003)

Formal logic /
per: Lorenzen, Paul
Publicat: (1965)

Formal logic /
Publicat: (2017)

Formalism and Marxism /
per: Bennett, Tony
Publicat: (1979)