The way of z practical programming with formal methods

ग्रंथसूची विवरण
मुख्य लेखक:	Jonathan Jacky
स्वरूप:	Printed Book
भाषा:	English
प्रकाशित:	Cambridge University Press 1997

लोड हो रहा है...

The way of Z: practical programming with formal methods
द्वारा: Jacky, Jonathan
प्रकाशित: (1997)

लोड हो रहा है...

The Way of Z: practical programming with formal methods
द्वारा: Jacky, Jonathan
प्रकाशित: (1997)

लोड हो रहा है...

Formal methods of program verification
द्वारा: Berg,H.K

लोड हो रहा है...

Formal methods of program verification
द्वारा: Berg,H.K

लोड हो रहा है...

Formal methods of program verification and specification
द्वारा: H K Berg, और अन्य
प्रकाशित: (1982)

लोड हो रहा है...

Formal models in programming
द्वारा: Neuhold, E J
प्रकाशित: (1985)

लोड हो रहा है...

Computer Programming and Formal Systems
द्वारा: Braffort P. and Hirschberg D.
प्रकाशित: (1970)

लोड हो रहा है...

Formal discription of programming concepts.
द्वारा: Neuhold, E.J
प्रकाशित: (1991)

लोड हो रहा है...

Computer programming and formal systems.
द्वारा: Braffort, P.ed
प्रकाशित: (1970)

लोड हो रहा है...

Formal Description of Programming Concepts
द्वारा: Erich J. Neuhold, Manfred Paul
प्रकाशित: (1991)

लोड हो रहा है...

Formal Development Of Programs And Proofs
द्वारा: Dijkstra, Edsger W
प्रकाशित: (1990)

लोड हो रहा है...

Formality/
द्वारा: Saraswathy B
प्रकाशित: (2015)

लोड हो रहा है...

Model-based software testing and analysis with C#
द्वारा: Jacky, Jonathan
प्रकाशित: (2008)

लोड हो रहा है...

Formal Methods in Artificial Intelligence
द्वारा: J P Delahaye
प्रकाशित: (1987)

लोड हो रहा है...

Formal methods in artificial intelligence /
द्वारा: Delahaye, J P
प्रकाशित: (1987)

लोड हो रहा है...

Formal methods in artificial intelligence/
द्वारा: Ramsay, Allan
प्रकाशित: (1988)

लोड हो रहा है...

S/Z /
द्वारा: Barthes, Roland
प्रकाशित: (1998)

लोड हो रहा है...

S/Z
द्वारा: Barthes, Roland
प्रकाशित: (1974)

लोड हो रहा है...

Z/
द्वारा: Vasilikov,Vasilez
प्रकाशित: (1991)

लोड हो रहा है...

S/Z
द्वारा: Barthes, Roland
प्रकाशित: (1974)

लोड हो रहा है...

S/Z
द्वारा: Barthes, Roland, और अन्य

लोड हो रहा है...

Z
द्वारा: Vasilikov, Vasilis
प्रकाशित: (1991)

लोड हो रहा है...

Z
द्वारा: Vasilikov Vasilez
प्रकाशित: (1991)

लोड हो रहा है...

Ethics A-Z /
द्वारा: Jacobs, Jonathan A.
प्रकाशित: (2005)

लोड हो रहा है...

Ethics A-Z /
द्वारा: Jacobs, Jonathan A.
प्रकाशित: (2005)

लोड हो रहा है...

Ethics : A-Z
द्वारा: Jonathan A Jacobs
प्रकाशित: (2005)

लोड हो रहा है...

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
द्वारा: Beth, Evert W.
प्रकाशित: (1962)

लोड हो रहा है...

Formal languages and formal power series
द्वारा: Mary, V.M
प्रकाशित: (1989)

लोड हो रहा है...

Z- ideals and Z- filters /
द्वारा: Rolly P Varghese
प्रकाशित: (1985)

लोड हो रहा है...

JCL programming bible (with z/OS) /
द्वारा: Brown, Gary Deward
प्रकाशित: (2002)

लोड हो रहा है...

Z 80 assembly language programming
द्वारा: Leventhal, Lance A
प्रकाशित: (1986)

लोड हो रहा है...

Z80 Assembly Language Programming
द्वारा: Leventhal,Lance.A
प्रकाशित: (1979)

लोड हो रहा है...

Z 80 Assembly language programming /
द्वारा: Leventhal, Lance A.
प्रकाशित: (1986)

लोड हो रहा है...

JCL programming bible (with z/OS) /
द्वारा: Brown, Gary DeWard .
प्रकाशित: (2002)

लोड हो रहा है...

Formalism and marxism /
द्वारा: Bennett, Tony
प्रकाशित: (1979)

लोड हो रहा है...

Formal ethics /
द्वारा: Gensler, Harry J.
प्रकाशित: (1996)

लोड हो रहा है...

Formalism and Marxism /
द्वारा: Bennett, Tony
प्रकाशित: (2003)

लोड हो रहा है...

Formal logic /
द्वारा: Lorenzen, Paul
प्रकाशित: (1965)

लोड हो रहा है...

Formal logic /
प्रकाशित: (2017)

लोड हो रहा है...

Formalism and Marxism /
द्वारा: Bennett, Tony
प्रकाशित: (1979)

The way of z practical programming with formal methods

समान संसाधन

समान संसाधन