LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Бусад хувилбаруудыг харуулах (2)

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...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Sufrin, B
Формат:	Journal article
Хэвлэсэн:	1987

Ижил төстэй зүйлс

The Laws of Programming
-н: Hoare, C, зэрэг
Хэвлэсэн: (1987)

Laws of programming
-н: Roscoe, A, зэрэг
Хэвлэсэн: (1987)

Formal specification and design of a simple assembler
-н: Sørensen, I, зэрэг
Хэвлэсэн: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
-н: Sufrin Efendi Lubis
Хэвлэсэн: (2020-09-01)

مستقبل التعليم في إندونيسية بين الرجاء والتمني
-н: Sufrin Efendi Lubis
Хэвлэсэн: (2019-10-01)

مهارة الاستماع وضوابطها في اللغة العربية
-н: Sufrin Efendi Lubis
Хэвлэсэн: (2020-06-01)

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
-н: SUFRIN EFENDI LUBIS
Хэвлэсэн: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
-н: Mollee K Steely Smith, зэрэг
Хэвлэсэн: (2023-09-01)

Laws of Occam Programming
-н: Roscoe, A, зэрэг
Хэвлэсэн: (1986)

The Laws of Occam Programming
-н: Roscoe, A, зэрэг
Хэвлэсэн: (1988)

The laws of occam programming
-н: Roscoe, A, зэрэг
Хэвлэсэн: (1988)

Generic Models of the Laws of Programming
-н: Hoare, T
Хэвлэсэн: (2013)

Chinese law and development: implications for US rule of law programs
-н: Erie, M
Хэвлэсэн: (2023)

Chinese law and development: implications for US rule of law program
-н: Erie, MS
Хэвлэсэн: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
-н: Nicky McWilliam, зэрэг
Хэвлэсэн: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
-н: Widhi Rachayu, зэрэг
Хэвлэсэн: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
-н: Gabriel Falconieri Freitas, зэрэг
Хэвлэсэн: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
-н: Joyell Arscott, зэрэг
Хэвлэсэн: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
-н: Hoare, T
Хэвлэсэн: (2013)

The Laws of Programming Unify Process Calculi
-н: Hoare, T, зэрэг
Хэвлэсэн: (2012)

The Relationship between Program Laws and the Constitution
-н: Ayet Mulaee
Хэвлэсэн: (2024-06-01)

Logic + probabilistic programming + causal laws
-н: Vaishak Belle
Хэвлэсэн: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
-н: Emir Fachry, зэрэг
Хэвлэсэн: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
-н: Sufrin Shmuel, зэрэг
Хэвлэсэн: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
-н: Fina Windayani, зэрэг
Хэвлэсэн: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
-н: Gagan Gandara, зэрэг
Хэвлэсэн: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
-н: Aulia Ratnadianti, зэрэг
Хэвлэсэн: (2020-05-01)

Reading Through ESP in an Undergraduate Law Program
-н: Gladis Leonor Arias Rodríguez
Хэвлэсэн: (2014-04-01)

Basic economics : analysis of contemporary problems and policies /
-н: 178266 Levy, Fred D., зэрэг
Хэвлэсэн: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
-н: Putri Dhika Savitri, зэрэг
Хэвлэсэн: (2020-12-01)

California enacts law to strengthen conservation bank program
-н: Janet White
Хэвлэсэн: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
-н: Carolyn Penfold
Хэвлэсэн: (2012-01-01)

ABA Sponsors Program on Law and Emerging Infectious Diseases
-н: David P. Fidler
Хэвлэсэн: (1996-10-01)

Laws on Approval of Program-goal Documents: Genre Approach
-н: Batyushkina , Marina Vladimirovna
Хэвлэсэн: (2020-11-01)

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
-н: Sufrin Hannan, зэрэг
Хэвлэсэн: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
-н: Mohammad Irfan Rachman, зэрэг
Хэвлэсэн: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
-н: Janice R. Sufrin, зэрэг
Хэвлэсэн: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
-н: Dominic Fitzsimmons, зэрэг
Хэвлэсэн: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
-н: L. Noël Marsh, зэрэг
Хэвлэсэн: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
-н: Fauziah Fauziah, зэрэг
Хэвлэсэн: (2022-12-01)