Lataa...

QR-koodi

The way of z practical programming with formal methods

Bibliografiset tiedot
Päätekijä:	Jonathan Jacky
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Cambridge University Press 1997

Samankaltaisia teoksia

The way of Z: practical programming with formal methods
Tekijä: Jacky, Jonathan
Julkaistu: (1997)

The Way of Z: practical programming with formal methods
Tekijä: Jacky, Jonathan
Julkaistu: (1997)

Formal methods of program verification
Tekijä: Berg,H.K

Formal methods of program verification
Tekijä: Berg,H.K

Formal methods of program verification and specification
Tekijä: H K Berg, et al.
Julkaistu: (1982)

Formal models in programming
Tekijä: Neuhold, E J
Julkaistu: (1985)

Computer Programming and Formal Systems
Tekijä: Braffort P. and Hirschberg D.
Julkaistu: (1970)

Formal discription of programming concepts.
Tekijä: Neuhold, E.J
Julkaistu: (1991)

Computer programming and formal systems.
Tekijä: Braffort, P.ed
Julkaistu: (1970)

Formal Description of Programming Concepts
Tekijä: Erich J. Neuhold, Manfred Paul
Julkaistu: (1991)

Formal Development Of Programs And Proofs
Tekijä: Dijkstra, Edsger W
Julkaistu: (1990)

Formality/
Tekijä: Saraswathy B
Julkaistu: (2015)

Model-based software testing and analysis with C#
Tekijä: Jacky, Jonathan
Julkaistu: (2008)

Formal Methods in Artificial Intelligence
Tekijä: J P Delahaye
Julkaistu: (1987)

Formal methods in artificial intelligence /
Tekijä: Delahaye, J P
Julkaistu: (1987)

Formal methods in artificial intelligence/
Tekijä: Ramsay, Allan
Julkaistu: (1988)

S/Z /
Tekijä: Barthes, Roland
Julkaistu: (1998)

S/Z
Tekijä: Barthes, Roland
Julkaistu: (1974)

Z/
Tekijä: Vasilikov,Vasilez
Julkaistu: (1991)

S/Z
Tekijä: Barthes, Roland
Julkaistu: (1974)

S/Z
Tekijä: Barthes, Roland, et al.

Z
Tekijä: Vasilikov, Vasilis
Julkaistu: (1991)

Z
Tekijä: Vasilikov Vasilez
Julkaistu: (1991)

Ethics A-Z /
Tekijä: Jacobs, Jonathan A.
Julkaistu: (2005)

Ethics A-Z /
Tekijä: Jacobs, Jonathan A.
Julkaistu: (2005)

Ethics : A-Z
Tekijä: Jonathan A Jacobs
Julkaistu: (2005)

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

Formal languages and formal power series
Tekijä: Mary, V.M
Julkaistu: (1989)

Z- ideals and Z- filters /
Tekijä: Rolly P Varghese
Julkaistu: (1985)

JCL programming bible (with z/OS) /
Tekijä: Brown, Gary Deward
Julkaistu: (2002)

Z 80 assembly language programming
Tekijä: Leventhal, Lance A
Julkaistu: (1986)

Z80 Assembly Language Programming
Tekijä: Leventhal,Lance.A
Julkaistu: (1979)

Z 80 Assembly language programming /
Tekijä: Leventhal, Lance A.
Julkaistu: (1986)

JCL programming bible (with z/OS) /
Tekijä: Brown, Gary DeWard .
Julkaistu: (2002)

Formalism and marxism /
Tekijä: Bennett, Tony
Julkaistu: (1979)

Formal ethics /
Tekijä: Gensler, Harry J.
Julkaistu: (1996)

Formalism and Marxism /
Tekijä: Bennett, Tony
Julkaistu: (2003)

Formal logic /
Tekijä: Lorenzen, Paul
Julkaistu: (1965)

Formal logic /
Julkaistu: (2017)

Formalism and Marxism /
Tekijä: Bennett, Tony
Julkaistu: (1979)