Á lódáil...

QR Code

The way of z practical programming with formal methods

Sonraí Bibleagrafaíochta
Príomhúdar:	Jonathan Jacky
Formáid:	Printed Book
Teanga:	English
Foilsithe:	Cambridge University Press 1997

Míreanna Comhchosúla

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

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

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

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

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

Formal models in programming
le: Neuhold, E J
Foilsithe: (1985)

Computer Programming and Formal Systems
le: Braffort P. and Hirschberg D.
Foilsithe: (1970)

Formal discription of programming concepts.
le: Neuhold, E.J
Foilsithe: (1991)

Computer programming and formal systems.
le: Braffort, P.ed
Foilsithe: (1970)

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

Formal Development Of Programs And Proofs
le: Dijkstra, Edsger W
Foilsithe: (1990)

Formality/
le: Saraswathy B
Foilsithe: (2015)

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

Formal Methods in Artificial Intelligence
le: J P Delahaye
Foilsithe: (1987)

Formal methods in artificial intelligence /
le: Delahaye, J P
Foilsithe: (1987)

Formal methods in artificial intelligence/
le: Ramsay, Allan
Foilsithe: (1988)

S/Z /
le: Barthes, Roland
Foilsithe: (1998)

S/Z
le: Barthes, Roland
Foilsithe: (1974)

Z/
le: Vasilikov,Vasilez
Foilsithe: (1991)

S/Z
le: Barthes, Roland
Foilsithe: (1974)

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

Z
le: Vasilikov, Vasilis
Foilsithe: (1991)

Z
le: Vasilikov Vasilez
Foilsithe: (1991)

Ethics A-Z /
le: Jacobs, Jonathan A.
Foilsithe: (2005)

Ethics A-Z /
le: Jacobs, Jonathan A.
Foilsithe: (2005)

Ethics : A-Z
le: Jonathan A Jacobs
Foilsithe: (2005)

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

Formal languages and formal power series
le: Mary, V.M
Foilsithe: (1989)

Z- ideals and Z- filters /
le: Rolly P Varghese
Foilsithe: (1985)

JCL programming bible (with z/OS) /
le: Brown, Gary Deward
Foilsithe: (2002)

Z 80 assembly language programming
le: Leventhal, Lance A
Foilsithe: (1986)

Z80 Assembly Language Programming
le: Leventhal,Lance.A
Foilsithe: (1979)

Z 80 Assembly language programming /
le: Leventhal, Lance A.
Foilsithe: (1986)

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

Formalism and marxism /
le: Bennett, Tony
Foilsithe: (1979)

Formal ethics /
le: Gensler, Harry J.
Foilsithe: (1996)

Formalism and Marxism /
le: Bennett, Tony
Foilsithe: (2003)

Formal logic /
le: Lorenzen, Paul
Foilsithe: (1965)

Formal logic /
Foilsithe: (2017)

Formalism and Marxism /
le: Bennett, Tony
Foilsithe: (1979)