Caricamento...

Codice QR

The way of z practical programming with formal methods

Dettagli Bibliografici
Autore principale:	Jonathan Jacky
Natura:	Printed Book
Lingua:	English
Pubblicazione:	Cambridge University Press 1997

Documenti analoghi

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

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

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

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

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

Formal models in programming
di: Neuhold, E J
Pubblicazione: (1985)

Computer Programming and Formal Systems
di: Braffort P. and Hirschberg D.
Pubblicazione: (1970)

Formal discription of programming concepts.
di: Neuhold, E.J
Pubblicazione: (1991)

Computer programming and formal systems.
di: Braffort, P.ed
Pubblicazione: (1970)

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

Formal Development Of Programs And Proofs
di: Dijkstra, Edsger W
Pubblicazione: (1990)

Formality/
di: Saraswathy B
Pubblicazione: (2015)

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

Formal Methods in Artificial Intelligence
di: J P Delahaye
Pubblicazione: (1987)

Formal methods in artificial intelligence /
di: Delahaye, J P
Pubblicazione: (1987)

Formal methods in artificial intelligence/
di: Ramsay, Allan
Pubblicazione: (1988)

S/Z /
di: Barthes, Roland
Pubblicazione: (1998)

S/Z
di: Barthes, Roland
Pubblicazione: (1974)

Z/
di: Vasilikov,Vasilez
Pubblicazione: (1991)

S/Z
di: Barthes, Roland
Pubblicazione: (1974)

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

Z
di: Vasilikov, Vasilis
Pubblicazione: (1991)

Z
di: Vasilikov Vasilez
Pubblicazione: (1991)

Ethics A-Z /
di: Jacobs, Jonathan A.
Pubblicazione: (2005)

Ethics A-Z /
di: Jacobs, Jonathan A.
Pubblicazione: (2005)

Ethics : A-Z
di: Jonathan A Jacobs
Pubblicazione: (2005)

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

Formal languages and formal power series
di: Mary, V.M
Pubblicazione: (1989)

Z- ideals and Z- filters /
di: Rolly P Varghese
Pubblicazione: (1985)

JCL programming bible (with z/OS) /
di: Brown, Gary Deward
Pubblicazione: (2002)

Z 80 assembly language programming
di: Leventhal, Lance A
Pubblicazione: (1986)

Z80 Assembly Language Programming
di: Leventhal,Lance.A
Pubblicazione: (1979)

Z 80 Assembly language programming /
di: Leventhal, Lance A.
Pubblicazione: (1986)

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

Formalism and marxism /
di: Bennett, Tony
Pubblicazione: (1979)

Formal ethics /
di: Gensler, Harry J.
Pubblicazione: (1996)

Formalism and Marxism /
di: Bennett, Tony
Pubblicazione: (2003)

Formal logic /
di: Lorenzen, Paul
Pubblicazione: (1965)

Formal logic /
Pubblicazione: (2017)

Formalism and Marxism /
di: Bennett, Tony
Pubblicazione: (1979)