Lanean...

QR Kodea

The way of z practical programming with formal methods

Xehetasun bibliografikoak
Egile nagusia:	Jonathan Jacky
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Cambridge University Press 1997

Antzeko izenburuak

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

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

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

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

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

Formal models in programming
nork: Neuhold, E J
Argitaratua: (1985)

Computer Programming and Formal Systems
nork: Braffort P. and Hirschberg D.
Argitaratua: (1970)

Formal discription of programming concepts.
nork: Neuhold, E.J
Argitaratua: (1991)

Computer programming and formal systems.
nork: Braffort, P.ed
Argitaratua: (1970)

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

Formal Development Of Programs And Proofs
nork: Dijkstra, Edsger W
Argitaratua: (1990)

Formality/
nork: Saraswathy B
Argitaratua: (2015)

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

Formal Methods in Artificial Intelligence
nork: J P Delahaye
Argitaratua: (1987)

Formal methods in artificial intelligence /
nork: Delahaye, J P
Argitaratua: (1987)

Formal methods in artificial intelligence/
nork: Ramsay, Allan
Argitaratua: (1988)

S/Z /
nork: Barthes, Roland
Argitaratua: (1998)

S/Z
nork: Barthes, Roland
Argitaratua: (1974)

Z/
nork: Vasilikov,Vasilez
Argitaratua: (1991)

S/Z
nork: Barthes, Roland
Argitaratua: (1974)

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

Z
nork: Vasilikov, Vasilis
Argitaratua: (1991)

Z
nork: Vasilikov Vasilez
Argitaratua: (1991)

Ethics A-Z /
nork: Jacobs, Jonathan A.
Argitaratua: (2005)

Ethics A-Z /
nork: Jacobs, Jonathan A.
Argitaratua: (2005)

Ethics : A-Z
nork: Jonathan A Jacobs
Argitaratua: (2005)

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

Formal languages and formal power series
nork: Mary, V.M
Argitaratua: (1989)

Z- ideals and Z- filters /
nork: Rolly P Varghese
Argitaratua: (1985)

JCL programming bible (with z/OS) /
nork: Brown, Gary Deward
Argitaratua: (2002)

Z 80 assembly language programming
nork: Leventhal, Lance A
Argitaratua: (1986)

Z80 Assembly Language Programming
nork: Leventhal,Lance.A
Argitaratua: (1979)

Z 80 Assembly language programming /
nork: Leventhal, Lance A.
Argitaratua: (1986)

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

Formalism and marxism /
nork: Bennett, Tony
Argitaratua: (1979)

Formal ethics /
nork: Gensler, Harry J.
Argitaratua: (1996)

Formalism and Marxism /
nork: Bennett, Tony
Argitaratua: (2003)

Formal logic /
nork: Lorenzen, Paul
Argitaratua: (1965)

Formal logic /
Argitaratua: (2017)

Formalism and Marxism /
nork: Bennett, Tony
Argitaratua: (1979)