The Laws of Programming

The Laws of Programming

Diğer sürümleri göster (2)

Detaylı Bibliyografya
Asıl Yazarlar:	Hoare, C, Hayes, I, Jifeng, H, Morgan, C, Roscoe, A, Sanders, J, rensen, N, Spivey, J, Sufrin, B
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	1987

Benzer Materyaller

Laws of programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

Data Refinement Refined
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1985)

Laws of Occam Programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1986)

The Laws of Occam Programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1988)

The laws of occam programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1988)

LAWS OF PROGRAMMING.
Yazar:: Sufrin, B
Baskı/Yayın Bilgisi: (1987)

Algebra of Logic Programming
Yazar:: Seres, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Algebra of Logic Programming
Yazar:: Seres, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Programs as executable predicates
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1984)

Programs as Executable Predicates
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1984)

Generic Models of the Laws of Programming
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2013)

Laws of programming with concurrency (Invited Talk)
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2013)

The Laws of Programming Unify Process Calculi
Yazar:: Hoare, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

The Logic of Procedural Readings
Yazar:: Seres, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
Yazar:: Jifeng, H, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

Design and Proof of a Mail Service
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

A theory of communicating sequential processes
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1981)

A Theory of Communicating Sequential Processes
Yazar:: Brookes, S, ve diğerleri
Baskı/Yayın Bilgisi: (1984)

A theory of communicating sequential processes
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1984)

A General Conservation Law for Queueing Disciplines
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1973)

Structured Programming in Introductory Programming Courses
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1976)

Unifying theories of programming
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Program Documentation
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1968)

Programs are Predicates
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1985)

Programs are Predicates
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1992)

Hoare on Programming
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

The Mathematics of Programming
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1986)

The Mathematics of Programming
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Programs are Predicates
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1992)

Parallel Programming
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Categorical Semantics for Programming Languages
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

Linking Theories in Probabilistic Programming
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Unifying Theories for Parallel Programming
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1997)

Linear programming : an introduction /
Yazar:: 231934 Spivey, W. A.
Baskı/Yayın Bilgisi: (1963)

Program Correctness Proofs
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1975)

The Varieties of Programming Language
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1989)

Programming is an Engineering Profession
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1983)

Programming: Sorcery or Science
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Unified Theories of Programming
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Specifications‚ Programs and Implementations
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1982)