The way of z practical programming with formal methods

Opis bibliograficzny
1. autor:	Jonathan Jacky
Format:	Printed Book
Język:	English
Wydane:	Cambridge University Press 1997

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

Formal methods of program verification and specification
od: H K Berg, i wsp.
Wydane: (1982)

Ładuje się......

Formal models in programming
od: Neuhold, E J
Wydane: (1985)

Ładuje się......

Computer Programming and Formal Systems
od: Braffort P. and Hirschberg D.
Wydane: (1970)

Ładuje się......

Formal discription of programming concepts.
od: Neuhold, E.J
Wydane: (1991)

Ładuje się......

Computer programming and formal systems.
od: Braffort, P.ed
Wydane: (1970)

Ładuje się......

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

Ładuje się......

Formal Development Of Programs And Proofs
od: Dijkstra, Edsger W
Wydane: (1990)

Ładuje się......

Formality/
od: Saraswathy B
Wydane: (2015)

Ładuje się......

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

Ładuje się......

Formal Methods in Artificial Intelligence
od: J P Delahaye
Wydane: (1987)

Ładuje się......

Formal methods in artificial intelligence /
od: Delahaye, J P
Wydane: (1987)

Ładuje się......

Formal methods in artificial intelligence/
od: Ramsay, Allan
Wydane: (1988)

Ładuje się......

S/Z /
od: Barthes, Roland
Wydane: (1998)

Ładuje się......

S/Z
od: Barthes, Roland
Wydane: (1974)

Ładuje się......

Z/
od: Vasilikov,Vasilez
Wydane: (1991)

Ładuje się......

S/Z
od: Barthes, Roland
Wydane: (1974)

Ładuje się......

S/Z
od: Barthes, Roland, i wsp.

Ładuje się......

Z
od: Vasilikov, Vasilis
Wydane: (1991)

Ładuje się......

Z
od: Vasilikov Vasilez
Wydane: (1991)

Ładuje się......

Ethics A-Z /
od: Jacobs, Jonathan A.
Wydane: (2005)

Ładuje się......

Ethics A-Z /
od: Jacobs, Jonathan A.
Wydane: (2005)

Ładuje się......

Ethics : A-Z
od: Jonathan A Jacobs
Wydane: (2005)

Ładuje się......

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

Ładuje się......

Formal languages and formal power series
od: Mary, V.M
Wydane: (1989)

Ładuje się......

Z- ideals and Z- filters /
od: Rolly P Varghese
Wydane: (1985)

Ładuje się......

JCL programming bible (with z/OS) /
od: Brown, Gary Deward
Wydane: (2002)

Ładuje się......

Z 80 assembly language programming
od: Leventhal, Lance A
Wydane: (1986)

Ładuje się......

Z80 Assembly Language Programming
od: Leventhal,Lance.A
Wydane: (1979)

Ładuje się......

Z 80 Assembly language programming /
od: Leventhal, Lance A.
Wydane: (1986)

Ładuje się......

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

Ładuje się......

Formalism and marxism /
od: Bennett, Tony
Wydane: (1979)

Ładuje się......

Formal ethics /
od: Gensler, Harry J.
Wydane: (1996)

Ładuje się......

Formalism and Marxism /
od: Bennett, Tony
Wydane: (2003)

Ładuje się......

Formal logic /
od: Lorenzen, Paul
Wydane: (1965)

Ładuje się......

Formal logic /
Wydane: (2017)

Ładuje się......

Formalism and Marxism /
od: Bennett, Tony
Wydane: (1979)

The way of z practical programming with formal methods

Podobne zapisy

Podobne zapisy