載入...

QR Code

The way of z practical programming with formal methods

書目詳細資料
主要作者:	Jonathan Jacky
格式:	Printed Book
語言:	English
出版:	Cambridge University Press 1997

相似書籍

The way of Z: practical programming with formal methods
由: Jacky, Jonathan
出版: (1997)

The Way of Z: practical programming with formal methods
由: Jacky, Jonathan
出版: (1997)

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

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

Formal methods of program verification and specification
由: H K Berg, et al.
出版: (1982)

Formal models in programming
由: Neuhold, E J
出版: (1985)

Computer Programming and Formal Systems
由: Braffort P. and Hirschberg D.
出版: (1970)

Formal discription of programming concepts.
由: Neuhold, E.J
出版: (1991)

Computer programming and formal systems.
由: Braffort, P.ed
出版: (1970)

Formal Description of Programming Concepts
由: Erich J. Neuhold, Manfred Paul
出版: (1991)

Formal Development Of Programs And Proofs
由: Dijkstra, Edsger W
出版: (1990)

Formality/
由: Saraswathy B
出版: (2015)

Model-based software testing and analysis with C#
由: Jacky, Jonathan
出版: (2008)

Formal Methods in Artificial Intelligence
由: J P Delahaye
出版: (1987)

Formal methods in artificial intelligence /
由: Delahaye, J P
出版: (1987)

Formal methods in artificial intelligence/
由: Ramsay, Allan
出版: (1988)

S/Z /
由: Barthes, Roland
出版: (1998)

S/Z
由: Barthes, Roland
出版: (1974)

Z/
由: Vasilikov,Vasilez
出版: (1991)

S/Z
由: Barthes, Roland
出版: (1974)

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

Z
由: Vasilikov, Vasilis
出版: (1991)

Z
由: Vasilikov Vasilez
出版: (1991)

Ethics A-Z /
由: Jacobs, Jonathan A.
出版: (2005)

Ethics A-Z /
由: Jacobs, Jonathan A.
出版: (2005)

Ethics : A-Z
由: Jonathan A Jacobs
出版: (2005)

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

Formal languages and formal power series
由: Mary, V.M
出版: (1989)

Z- ideals and Z- filters /
由: Rolly P Varghese
出版: (1985)

JCL programming bible (with z/OS) /
由: Brown, Gary Deward
出版: (2002)

Z 80 assembly language programming
由: Leventhal, Lance A
出版: (1986)

Z80 Assembly Language Programming
由: Leventhal,Lance.A
出版: (1979)

Z 80 Assembly language programming /
由: Leventhal, Lance A.
出版: (1986)

JCL programming bible (with z/OS) /
由: Brown, Gary DeWard .
出版: (2002)

Formalism and marxism /
由: Bennett, Tony
出版: (1979)

Formal ethics /
由: Gensler, Harry J.
出版: (1996)

Formalism and Marxism /
由: Bennett, Tony
出版: (2003)

Formal logic /
由: Lorenzen, Paul
出版: (1965)

Formal logic /
出版: (2017)

Formalism and Marxism /
由: Bennett, Tony
出版: (1979)