Yüklüyor......

QR Kod

The way of z practical programming with formal methods

Detaylı Bibliyografya
Yazar:	Jonathan Jacky
Materyal Türü:	Printed Book
Dil:	English
Baskı/Yayın Bilgisi:	Cambridge University Press 1997

Benzer Materyaller

Yüklüyor......

The way of Z: practical programming with formal methods
Yazar:: Jacky, Jonathan
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

The Way of Z: practical programming with formal methods
Yazar:: Jacky, Jonathan
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

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

Yüklüyor......

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

Yüklüyor......

Formal methods of program verification and specification
Yazar:: H K Berg, ve diğerleri
Baskı/Yayın Bilgisi: (1982)

Yüklüyor......

Formal models in programming
Yazar:: Neuhold, E J
Baskı/Yayın Bilgisi: (1985)

Yüklüyor......

Computer Programming and Formal Systems
Yazar:: Braffort P. and Hirschberg D.
Baskı/Yayın Bilgisi: (1970)

Yüklüyor......

Formal discription of programming concepts.
Yazar:: Neuhold, E.J
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Computer programming and formal systems.
Yazar:: Braffort, P.ed
Baskı/Yayın Bilgisi: (1970)

Yüklüyor......

Formal Description of Programming Concepts
Yazar:: Erich J. Neuhold, Manfred Paul
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Formal Development Of Programs And Proofs
Yazar:: Dijkstra, Edsger W
Baskı/Yayın Bilgisi: (1990)

Yüklüyor......

Formality/
Yazar:: Saraswathy B
Baskı/Yayın Bilgisi: (2015)

Yüklüyor......

Model-based software testing and analysis with C#
Yazar:: Jacky, Jonathan
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Formal Methods in Artificial Intelligence
Yazar:: J P Delahaye
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Formal methods in artificial intelligence /
Yazar:: Delahaye, J P
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Formal methods in artificial intelligence/
Yazar:: Ramsay, Allan
Baskı/Yayın Bilgisi: (1988)

Yüklüyor......

S/Z /
Yazar:: Barthes, Roland
Baskı/Yayın Bilgisi: (1998)

Yüklüyor......

S/Z
Yazar:: Barthes, Roland
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Z/
Yazar:: Vasilikov,Vasilez
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

S/Z
Yazar:: Barthes, Roland
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

S/Z
Yazar:: Barthes, Roland, ve diğerleri

Yüklüyor......

Z
Yazar:: Vasilikov, Vasilis
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Z
Yazar:: Vasilikov Vasilez
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Ethics A-Z /
Yazar:: Jacobs, Jonathan A.
Baskı/Yayın Bilgisi: (2005)

Yüklüyor......

Ethics A-Z /
Yazar:: Jacobs, Jonathan A.
Baskı/Yayın Bilgisi: (2005)

Yüklüyor......

Ethics : A-Z
Yazar:: Jonathan A Jacobs
Baskı/Yayın Bilgisi: (2005)

Yüklüyor......

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
Yazar:: Beth, Evert W.
Baskı/Yayın Bilgisi: (1962)

Yüklüyor......

Formal languages and formal power series
Yazar:: Mary, V.M
Baskı/Yayın Bilgisi: (1989)

Yüklüyor......

Z- ideals and Z- filters /
Yazar:: Rolly P Varghese
Baskı/Yayın Bilgisi: (1985)

Yüklüyor......

JCL programming bible (with z/OS) /
Yazar:: Brown, Gary Deward
Baskı/Yayın Bilgisi: (2002)

Yüklüyor......

Z 80 assembly language programming
Yazar:: Leventhal, Lance A
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

Z80 Assembly Language Programming
Yazar:: Leventhal,Lance.A
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

Z 80 Assembly language programming /
Yazar:: Leventhal, Lance A.
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

JCL programming bible (with z/OS) /
Yazar:: Brown, Gary DeWard .
Baskı/Yayın Bilgisi: (2002)

Yüklüyor......

Formalism and marxism /
Yazar:: Bennett, Tony
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

Formal ethics /
Yazar:: Gensler, Harry J.
Baskı/Yayın Bilgisi: (1996)

Yüklüyor......

Formalism and Marxism /
Yazar:: Bennett, Tony
Baskı/Yayın Bilgisi: (2003)

Yüklüyor......

Formal logic /
Yazar:: Lorenzen, Paul
Baskı/Yayın Bilgisi: (1965)

Yüklüyor......

Formal logic /
Baskı/Yayın Bilgisi: (2017)

Yüklüyor......

Formalism and Marxism /
Yazar:: Bennett, Tony
Baskı/Yayın Bilgisi: (1979)