Llwytho...

Côd QR

The way of z practical programming with formal methods

Manylion Llyfryddiaeth
Prif Awdur:	Jonathan Jacky
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Cambridge University Press 1997

Eitemau Tebyg

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

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

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

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

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

Formal models in programming
gan: Neuhold, E J
Cyhoeddwyd: (1985)

Computer Programming and Formal Systems
gan: Braffort P. and Hirschberg D.
Cyhoeddwyd: (1970)

Formal discription of programming concepts.
gan: Neuhold, E.J
Cyhoeddwyd: (1991)

Computer programming and formal systems.
gan: Braffort, P.ed
Cyhoeddwyd: (1970)

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

Formal Development Of Programs And Proofs
gan: Dijkstra, Edsger W
Cyhoeddwyd: (1990)

Formality/
gan: Saraswathy B
Cyhoeddwyd: (2015)

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

Formal Methods in Artificial Intelligence
gan: J P Delahaye
Cyhoeddwyd: (1987)

Formal methods in artificial intelligence /
gan: Delahaye, J P
Cyhoeddwyd: (1987)

Formal methods in artificial intelligence/
gan: Ramsay, Allan
Cyhoeddwyd: (1988)

S/Z /
gan: Barthes, Roland
Cyhoeddwyd: (1998)

S/Z
gan: Barthes, Roland
Cyhoeddwyd: (1974)

Z/
gan: Vasilikov,Vasilez
Cyhoeddwyd: (1991)

S/Z
gan: Barthes, Roland
Cyhoeddwyd: (1974)

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

Z
gan: Vasilikov, Vasilis
Cyhoeddwyd: (1991)

Z
gan: Vasilikov Vasilez
Cyhoeddwyd: (1991)

Ethics A-Z /
gan: Jacobs, Jonathan A.
Cyhoeddwyd: (2005)

Ethics A-Z /
gan: Jacobs, Jonathan A.
Cyhoeddwyd: (2005)

Ethics : A-Z
gan: Jonathan A Jacobs
Cyhoeddwyd: (2005)

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

Formal languages and formal power series
gan: Mary, V.M
Cyhoeddwyd: (1989)

Z- ideals and Z- filters /
gan: Rolly P Varghese
Cyhoeddwyd: (1985)

JCL programming bible (with z/OS) /
gan: Brown, Gary Deward
Cyhoeddwyd: (2002)

Z 80 assembly language programming
gan: Leventhal, Lance A
Cyhoeddwyd: (1986)

Z80 Assembly Language Programming
gan: Leventhal,Lance.A
Cyhoeddwyd: (1979)

Z 80 Assembly language programming /
gan: Leventhal, Lance A.
Cyhoeddwyd: (1986)

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

Formalism and marxism /
gan: Bennett, Tony
Cyhoeddwyd: (1979)

Formal ethics /
gan: Gensler, Harry J.
Cyhoeddwyd: (1996)

Formalism and Marxism /
gan: Bennett, Tony
Cyhoeddwyd: (2003)

Formal logic /
gan: Lorenzen, Paul
Cyhoeddwyd: (1965)

Formal logic /
Cyhoeddwyd: (2017)

Formalism and Marxism /
gan: Bennett, Tony
Cyhoeddwyd: (1979)