Loading...

QR Code

The way of z practical programming with formal methods

Bibliografiske detaljer
Hovedforfatter:	Jonathan Jacky
Format:	Printed Book
Sprog:	English
Udgivet:	Cambridge University Press 1997

Lignende værker

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

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

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

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

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

Formal models in programming
af: Neuhold, E J
Udgivet: (1985)

Computer Programming and Formal Systems
af: Braffort P. and Hirschberg D.
Udgivet: (1970)

Formal discription of programming concepts.
af: Neuhold, E.J
Udgivet: (1991)

Computer programming and formal systems.
af: Braffort, P.ed
Udgivet: (1970)

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

Formal Development Of Programs And Proofs
af: Dijkstra, Edsger W
Udgivet: (1990)

Formality/
af: Saraswathy B
Udgivet: (2015)

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

Formal Methods in Artificial Intelligence
af: J P Delahaye
Udgivet: (1987)

Formal methods in artificial intelligence /
af: Delahaye, J P
Udgivet: (1987)

Formal methods in artificial intelligence/
af: Ramsay, Allan
Udgivet: (1988)

S/Z /
af: Barthes, Roland
Udgivet: (1998)

S/Z
af: Barthes, Roland
Udgivet: (1974)

Z/
af: Vasilikov,Vasilez
Udgivet: (1991)

S/Z
af: Barthes, Roland
Udgivet: (1974)

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

Z
af: Vasilikov, Vasilis
Udgivet: (1991)

Z
af: Vasilikov Vasilez
Udgivet: (1991)

Ethics A-Z /
af: Jacobs, Jonathan A.
Udgivet: (2005)

Ethics A-Z /
af: Jacobs, Jonathan A.
Udgivet: (2005)

Ethics : A-Z
af: Jonathan A Jacobs
Udgivet: (2005)

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

Formal languages and formal power series
af: Mary, V.M
Udgivet: (1989)

Z- ideals and Z- filters /
af: Rolly P Varghese
Udgivet: (1985)

JCL programming bible (with z/OS) /
af: Brown, Gary Deward
Udgivet: (2002)

Z 80 assembly language programming
af: Leventhal, Lance A
Udgivet: (1986)

Z80 Assembly Language Programming
af: Leventhal,Lance.A
Udgivet: (1979)

Z 80 Assembly language programming /
af: Leventhal, Lance A.
Udgivet: (1986)

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

Formalism and marxism /
af: Bennett, Tony
Udgivet: (1979)

Formal ethics /
af: Gensler, Harry J.
Udgivet: (1996)

Formalism and Marxism /
af: Bennett, Tony
Udgivet: (2003)

Formal logic /
af: Lorenzen, Paul
Udgivet: (1965)

Formal logic /
Udgivet: (2017)

Formalism and Marxism /
af: Bennett, Tony
Udgivet: (1979)