Cargando...

Código QR

The way of z practical programming with formal methods

Detalles Bibliográficos
Autor principal:	Jonathan Jacky
Formato:	Printed Book
Lenguaje:	English
Publicado:	Cambridge University Press 1997

Ejemplares similares

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

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

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

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

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

Formal models in programming
por: Neuhold, E J
Publicado: (1985)

Computer Programming and Formal Systems
por: Braffort P. and Hirschberg D.
Publicado: (1970)

Formal discription of programming concepts.
por: Neuhold, E.J
Publicado: (1991)

Computer programming and formal systems.
por: Braffort, P.ed
Publicado: (1970)

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

Formal Development Of Programs And Proofs
por: Dijkstra, Edsger W
Publicado: (1990)

Formality/
por: Saraswathy B
Publicado: (2015)

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

Formal Methods in Artificial Intelligence
por: J P Delahaye
Publicado: (1987)

Formal methods in artificial intelligence /
por: Delahaye, J P
Publicado: (1987)

Formal methods in artificial intelligence/
por: Ramsay, Allan
Publicado: (1988)

S/Z /
por: Barthes, Roland
Publicado: (1998)

S/Z
por: Barthes, Roland
Publicado: (1974)

Z/
por: Vasilikov,Vasilez
Publicado: (1991)

S/Z
por: Barthes, Roland
Publicado: (1974)

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

Z
por: Vasilikov, Vasilis
Publicado: (1991)

Z
por: Vasilikov Vasilez
Publicado: (1991)

Ethics A-Z /
por: Jacobs, Jonathan A.
Publicado: (2005)

Ethics A-Z /
por: Jacobs, Jonathan A.
Publicado: (2005)

Ethics : A-Z
por: Jonathan A Jacobs
Publicado: (2005)

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

Formal languages and formal power series
por: Mary, V.M
Publicado: (1989)

Z- ideals and Z- filters /
por: Rolly P Varghese
Publicado: (1985)

JCL programming bible (with z/OS) /
por: Brown, Gary Deward
Publicado: (2002)

Z 80 assembly language programming
por: Leventhal, Lance A
Publicado: (1986)

Z80 Assembly Language Programming
por: Leventhal,Lance.A
Publicado: (1979)

Z 80 Assembly language programming /
por: Leventhal, Lance A.
Publicado: (1986)

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

Formalism and marxism /
por: Bennett, Tony
Publicado: (1979)

Formal ethics /
por: Gensler, Harry J.
Publicado: (1996)

Formalism and Marxism /
por: Bennett, Tony
Publicado: (2003)

Formal logic /
por: Lorenzen, Paul
Publicado: (1965)

Formal logic /
Publicado: (2017)

Formalism and Marxism /
por: Bennett, Tony
Publicado: (1979)