Laws of programming

Laws of programming

অন্যান্য সংস্করণ প্রদর্শন করুন (2)

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Roscoe, A, Hoare, C, Jifeng, H, Hayes, I, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B
বিন্যাস:	Journal article
প্রকাশিত:	1987

অনুরূপ উপাদানগুলি

The Laws of Programming
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1987)

Data Refinement Refined
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1985)

Laws of Occam Programming
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1986)

The Laws of Occam Programming
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1988)

The laws of occam programming
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1988)

LAWS OF PROGRAMMING.
অনুযায়ী: Sufrin, B
প্রকাশিত: (1987)

Algebra of Logic Programming
অনুযায়ী: Seres, S, অন্যান্য
প্রকাশিত: (1999)

Algebra of Logic Programming
অনুযায়ী: Seres, S, অন্যান্য
প্রকাশিত: (1999)

Programs as executable predicates
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1984)

Programs as Executable Predicates
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1984)

Formal specification and design of a simple assembler
অনুযায়ী: Sørensen, I, অন্যান্য
প্রকাশিত: (1987)

Generic Models of the Laws of Programming
অনুযায়ী: Hoare, T
প্রকাশিত: (2013)

Laws of programming with concurrency (Invited Talk)
অনুযায়ী: Hoare, T
প্রকাশিত: (2013)

The Laws of Programming Unify Process Calculi
অনুযায়ী: Hoare, T, অন্যান্য
প্রকাশিত: (2012)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
অনুযায়ী: Jifeng, H, অন্যান্য
প্রকাশিত: (1987)

Design and Proof of a Mail Service
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1987)

The Logic of Procedural Readings
অনুযায়ী: Seres, S, অন্যান্য
প্রকাশিত: (1999)

Structured Programming in Introductory Programming Courses
অনুযায়ী: Hoare, C
প্রকাশিত: (1976)

A theory of communicating sequential processes
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1981)

A Theory of Communicating Sequential Processes
অনুযায়ী: Brookes, S, অন্যান্য
প্রকাশিত: (1984)

A theory of communicating sequential processes
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1984)

Linear programming : an introduction /
অনুযায়ী: 231934 Spivey, W. A.
প্রকাশিত: (1963)

A General Conservation Law for Queueing Disciplines
অনুযায়ী: Hoare, C
প্রকাশিত: (1973)

Unifying theories of programming
অনুযায়ী: He, J, অন্যান্য
প্রকাশিত: (1998)

Program Documentation
অনুযায়ী: Hoare, C
প্রকাশিত: (1968)

Programs are Predicates
অনুযায়ী: Hoare, C
প্রকাশিত: (1985)

Programs are Predicates
অনুযায়ী: Hoare, C
প্রকাশিত: (1992)

Hoare on Programming
অনুযায়ী: Hoare, C
প্রকাশিত: (2015)

The Mathematics of Programming
অনুযায়ী: Hoare, C
প্রকাশিত: (1986)

The Mathematics of Programming
অনুযায়ী: Hoare, C
প্রকাশিত: (2015)

Programs are Predicates
অনুযায়ী: Hoare, C
প্রকাশিত: (1992)

Parallel Programming
অনুযায়ী: Hoare, C
প্রকাশিত: (2015)

Categorical Semantics for Programming Languages
অনুযায়ী: He, J, অন্যান্য
প্রকাশিত: (1989)

Linking Theories in Probabilistic Programming
অনুযায়ী: He, J, অন্যান্য
প্রকাশিত: (1999)

Unifying Theories for Parallel Programming
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1997)

Program Correctness Proofs
অনুযায়ী: Hoare, C
প্রকাশিত: (1975)

The Varieties of Programming Language
অনুযায়ী: Hoare, C
প্রকাশিত: (1989)

Programming is an Engineering Profession
অনুযায়ী: Hoare, C
প্রকাশিত: (1983)

Programming: Sorcery or Science
অনুযায়ী: Hoare, C
প্রকাশিত: (2015)

Unified Theories of Programming
অনুযায়ী: Hoare, C
প্রকাশিত: (2015)