Laddar...

QR-kod

The way of z practical programming with formal methods

Bibliografiska uppgifter
Huvudupphovsman:	Jonathan Jacky
Materialtyp:	Printed Book
Språk:	English
Publicerad:	Cambridge University Press 1997

Liknande verk

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

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

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

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

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

Formal models in programming
av: Neuhold, E J
Publicerad: (1985)

Computer Programming and Formal Systems
av: Braffort P. and Hirschberg D.
Publicerad: (1970)

Formal discription of programming concepts.
av: Neuhold, E.J
Publicerad: (1991)

Computer programming and formal systems.
av: Braffort, P.ed
Publicerad: (1970)

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

Formal Development Of Programs And Proofs
av: Dijkstra, Edsger W
Publicerad: (1990)

Formality/
av: Saraswathy B
Publicerad: (2015)

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

Formal Methods in Artificial Intelligence
av: J P Delahaye
Publicerad: (1987)

Formal methods in artificial intelligence /
av: Delahaye, J P
Publicerad: (1987)

Formal methods in artificial intelligence/
av: Ramsay, Allan
Publicerad: (1988)

S/Z /
av: Barthes, Roland
Publicerad: (1998)

S/Z
av: Barthes, Roland
Publicerad: (1974)

Z/
av: Vasilikov,Vasilez
Publicerad: (1991)

S/Z
av: Barthes, Roland
Publicerad: (1974)

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

Z
av: Vasilikov, Vasilis
Publicerad: (1991)

Z
av: Vasilikov Vasilez
Publicerad: (1991)

Ethics A-Z /
av: Jacobs, Jonathan A.
Publicerad: (2005)

Ethics A-Z /
av: Jacobs, Jonathan A.
Publicerad: (2005)

Ethics : A-Z
av: Jonathan A Jacobs
Publicerad: (2005)

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

Formal languages and formal power series
av: Mary, V.M
Publicerad: (1989)

Z- ideals and Z- filters /
av: Rolly P Varghese
Publicerad: (1985)

JCL programming bible (with z/OS) /
av: Brown, Gary Deward
Publicerad: (2002)

Z 80 assembly language programming
av: Leventhal, Lance A
Publicerad: (1986)

Z80 Assembly Language Programming
av: Leventhal,Lance.A
Publicerad: (1979)

Z 80 Assembly language programming /
av: Leventhal, Lance A.
Publicerad: (1986)

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

Formalism and marxism /
av: Bennett, Tony
Publicerad: (1979)

Formal ethics /
av: Gensler, Harry J.
Publicerad: (1996)

Formalism and Marxism /
av: Bennett, Tony
Publicerad: (2003)

Formal logic /
av: Lorenzen, Paul
Publicerad: (1965)

Formal logic /
Publicerad: (2017)

Formalism and Marxism /
av: Bennett, Tony
Publicerad: (1979)