Đang tải...

Mã QR

The way of z practical programming with formal methods

Chi tiết về thư mục
Tác giả chính:	Jonathan Jacky
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Cambridge University Press 1997

Những quyển sách tương tự

The way of Z: practical programming with formal methods
Bằng: Jacky, Jonathan
Được phát hành: (1997)

The Way of Z: practical programming with formal methods
Bằng: Jacky, Jonathan
Được phát hành: (1997)

Formal methods of program verification
Bằng: Berg,H.K

Formal methods of program verification
Bằng: Berg,H.K

Formal methods of program verification and specification
Bằng: H K Berg, et al.
Được phát hành: (1982)

Formal models in programming
Bằng: Neuhold, E J
Được phát hành: (1985)

Computer Programming and Formal Systems
Bằng: Braffort P. and Hirschberg D.
Được phát hành: (1970)

Formal discription of programming concepts.
Bằng: Neuhold, E.J
Được phát hành: (1991)

Computer programming and formal systems.
Bằng: Braffort, P.ed
Được phát hành: (1970)

Formal Description of Programming Concepts
Bằng: Erich J. Neuhold, Manfred Paul
Được phát hành: (1991)

Formal Development Of Programs And Proofs
Bằng: Dijkstra, Edsger W
Được phát hành: (1990)

Formality/
Bằng: Saraswathy B
Được phát hành: (2015)

Model-based software testing and analysis with C#
Bằng: Jacky, Jonathan
Được phát hành: (2008)

Formal Methods in Artificial Intelligence
Bằng: J P Delahaye
Được phát hành: (1987)

Formal methods in artificial intelligence /
Bằng: Delahaye, J P
Được phát hành: (1987)

Formal methods in artificial intelligence/
Bằng: Ramsay, Allan
Được phát hành: (1988)

S/Z /
Bằng: Barthes, Roland
Được phát hành: (1998)

S/Z
Bằng: Barthes, Roland
Được phát hành: (1974)

Z/
Bằng: Vasilikov,Vasilez
Được phát hành: (1991)

S/Z
Bằng: Barthes, Roland
Được phát hành: (1974)

S/Z
Bằng: Barthes, Roland, et al.

Z
Bằng: Vasilikov, Vasilis
Được phát hành: (1991)

Z
Bằng: Vasilikov Vasilez
Được phát hành: (1991)

Ethics A-Z /
Bằng: Jacobs, Jonathan A.
Được phát hành: (2005)

Ethics A-Z /
Bằng: Jacobs, Jonathan A.
Được phát hành: (2005)

Ethics : A-Z
Bằng: Jonathan A Jacobs
Được phát hành: (2005)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
Bằng: Beth, Evert W.
Được phát hành: (1962)

Formal languages and formal power series
Bằng: Mary, V.M
Được phát hành: (1989)

Z- ideals and Z- filters /
Bằng: Rolly P Varghese
Được phát hành: (1985)

JCL programming bible (with z/OS) /
Bằng: Brown, Gary Deward
Được phát hành: (2002)

Z 80 assembly language programming
Bằng: Leventhal, Lance A
Được phát hành: (1986)

Z80 Assembly Language Programming
Bằng: Leventhal,Lance.A
Được phát hành: (1979)

Z 80 Assembly language programming /
Bằng: Leventhal, Lance A.
Được phát hành: (1986)

JCL programming bible (with z/OS) /
Bằng: Brown, Gary DeWard .
Được phát hành: (2002)

Formalism and marxism /
Bằng: Bennett, Tony
Được phát hành: (1979)

Formal ethics /
Bằng: Gensler, Harry J.
Được phát hành: (1996)

Formalism and Marxism /
Bằng: Bennett, Tony
Được phát hành: (2003)

Formal logic /
Bằng: Lorenzen, Paul
Được phát hành: (1965)

Formal logic /
Được phát hành: (2017)

Formalism and Marxism /
Bằng: Bennett, Tony
Được phát hành: (1979)