LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Hiển thị phiên bản (2) khác

A complete set of algebraic laws is given for E. W. Dijkstra's nondeterministic sequential programming language. Iteration and recursion are explained in terms of D. S. Scott's domain theory as fixed points of continuous functionals. A calculus analogous to weakest preconditions is suggest...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Sufrin, B
Định dạng:	Journal article
Được phát hành:	1987

Những quyển sách tương tự

The Laws of Programming
Bằng: Hoare, C, et al.
Được phát hành: (1987)

Laws of programming
Bằng: Roscoe, A, et al.
Được phát hành: (1987)

Formal specification and design of a simple assembler
Bằng: Sørensen, I, et al.
Được phát hành: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
Bằng: Sufrin Efendi Lubis
Được phát hành: (2020-09-01)

مستقبل التعليم في إندونيسية بين الرجاء والتمني
Bằng: Sufrin Efendi Lubis
Được phát hành: (2019-10-01)

مهارة الاستماع وضوابطها في اللغة العربية
Bằng: Sufrin Efendi Lubis
Được phát hành: (2020-06-01)

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
Bằng: SUFRIN EFENDI LUBIS
Được phát hành: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
Bằng: Mollee K Steely Smith, et al.
Được phát hành: (2023-09-01)

Laws of Occam Programming
Bằng: Roscoe, A, et al.
Được phát hành: (1986)

The Laws of Occam Programming
Bằng: Roscoe, A, et al.
Được phát hành: (1988)

The laws of occam programming
Bằng: Roscoe, A, et al.
Được phát hành: (1988)

Generic Models of the Laws of Programming
Bằng: Hoare, T
Được phát hành: (2013)

Chinese law and development: implications for US rule of law programs
Bằng: Erie, M
Được phát hành: (2023)

Chinese law and development: implications for US rule of law program
Bằng: Erie, MS
Được phát hành: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
Bằng: Nicky McWilliam, et al.
Được phát hành: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
Bằng: Widhi Rachayu, et al.
Được phát hành: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
Bằng: Gabriel Falconieri Freitas, et al.
Được phát hành: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
Bằng: Joyell Arscott, et al.
Được phát hành: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
Bằng: Hoare, T
Được phát hành: (2013)

The Laws of Programming Unify Process Calculi
Bằng: Hoare, T, et al.
Được phát hành: (2012)

The Relationship between Program Laws and the Constitution
Bằng: Ayet Mulaee
Được phát hành: (2024-06-01)

Logic + probabilistic programming + causal laws
Bằng: Vaishak Belle
Được phát hành: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
Bằng: Emir Fachry, et al.
Được phát hành: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
Bằng: Sufrin Shmuel, et al.
Được phát hành: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
Bằng: Fina Windayani, et al.
Được phát hành: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
Bằng: Gagan Gandara, et al.
Được phát hành: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
Bằng: Aulia Ratnadianti, et al.
Được phát hành: (2020-05-01)

Reading Through ESP in an Undergraduate Law Program
Bằng: Gladis Leonor Arias Rodríguez
Được phát hành: (2014-04-01)

Basic economics : analysis of contemporary problems and policies /
Bằng: 178266 Levy, Fred D., et al.
Được phát hành: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
Bằng: Putri Dhika Savitri, et al.
Được phát hành: (2020-12-01)

California enacts law to strengthen conservation bank program
Bằng: Janet White
Được phát hành: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
Bằng: Carolyn Penfold
Được phát hành: (2012-01-01)

ABA Sponsors Program on Law and Emerging Infectious Diseases
Bằng: David P. Fidler
Được phát hành: (1996-10-01)

Laws on Approval of Program-goal Documents: Genre Approach
Bằng: Batyushkina , Marina Vladimirovna
Được phát hành: (2020-11-01)

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
Bằng: Sufrin Hannan, et al.
Được phát hành: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
Bằng: Mohammad Irfan Rachman, et al.
Được phát hành: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
Bằng: Janice R. Sufrin, et al.
Được phát hành: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
Bằng: Dominic Fitzsimmons, et al.
Được phát hành: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
Bằng: L. Noël Marsh, et al.
Được phát hành: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
Bằng: Fauziah Fauziah, et al.
Được phát hành: (2022-12-01)