LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Čájet eará veršuvnnaid (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...

Bibliográfalaš dieđut
Váldodahkki:	Sufrin, B
Materiálatiipa:	Journal article
Almmustuhtton:	1987

Geahča maid

The Laws of Programming
Dahkki: Hoare, C, et al.
Almmustuhtton: (1987)

Laws of programming
Dahkki: Roscoe, A, et al.
Almmustuhtton: (1987)

Formal specification and design of a simple assembler
Dahkki: Sørensen, I, et al.
Almmustuhtton: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
Dahkki: Sufrin Efendi Lubis
Almmustuhtton: (2020-09-01)

مستقبل التعليم في إندونيسية بين الرجاء والتمني
Dahkki: Sufrin Efendi Lubis
Almmustuhtton: (2019-10-01)

مهارة الاستماع وضوابطها في اللغة العربية
Dahkki: Sufrin Efendi Lubis
Almmustuhtton: (2020-06-01)

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
Dahkki: SUFRIN EFENDI LUBIS
Almmustuhtton: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
Dahkki: Mollee K Steely Smith, et al.
Almmustuhtton: (2023-09-01)

Laws of Occam Programming
Dahkki: Roscoe, A, et al.
Almmustuhtton: (1986)

The Laws of Occam Programming
Dahkki: Roscoe, A, et al.
Almmustuhtton: (1988)

The laws of occam programming
Dahkki: Roscoe, A, et al.
Almmustuhtton: (1988)

Generic Models of the Laws of Programming
Dahkki: Hoare, T
Almmustuhtton: (2013)

Chinese law and development: implications for US rule of law programs
Dahkki: Erie, M
Almmustuhtton: (2023)

Chinese law and development: implications for US rule of law program
Dahkki: Erie, MS
Almmustuhtton: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
Dahkki: Nicky McWilliam, et al.
Almmustuhtton: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
Dahkki: Widhi Rachayu, et al.
Almmustuhtton: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
Dahkki: Gabriel Falconieri Freitas, et al.
Almmustuhtton: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
Dahkki: Joyell Arscott, et al.
Almmustuhtton: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
Dahkki: Hoare, T
Almmustuhtton: (2013)

The Laws of Programming Unify Process Calculi
Dahkki: Hoare, T, et al.
Almmustuhtton: (2012)

The Relationship between Program Laws and the Constitution
Dahkki: Ayet Mulaee
Almmustuhtton: (2024-06-01)

Logic + probabilistic programming + causal laws
Dahkki: Vaishak Belle
Almmustuhtton: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
Dahkki: Emir Fachry, et al.
Almmustuhtton: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
Dahkki: Sufrin Shmuel, et al.
Almmustuhtton: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
Dahkki: Fina Windayani, et al.
Almmustuhtton: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
Dahkki: Gagan Gandara, et al.
Almmustuhtton: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
Dahkki: Aulia Ratnadianti, et al.
Almmustuhtton: (2020-05-01)

Reading Through ESP in an Undergraduate Law Program
Dahkki: Gladis Leonor Arias Rodríguez
Almmustuhtton: (2014-04-01)

Basic economics : analysis of contemporary problems and policies /
Dahkki: 178266 Levy, Fred D., et al.
Almmustuhtton: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
Dahkki: Putri Dhika Savitri, et al.
Almmustuhtton: (2020-12-01)

California enacts law to strengthen conservation bank program
Dahkki: Janet White
Almmustuhtton: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
Dahkki: Carolyn Penfold
Almmustuhtton: (2012-01-01)

ABA Sponsors Program on Law and Emerging Infectious Diseases
Dahkki: David P. Fidler
Almmustuhtton: (1996-10-01)

Laws on Approval of Program-goal Documents: Genre Approach
Dahkki: Batyushkina , Marina Vladimirovna
Almmustuhtton: (2020-11-01)

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
Dahkki: Sufrin Hannan, et al.
Almmustuhtton: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
Dahkki: Mohammad Irfan Rachman, et al.
Almmustuhtton: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
Dahkki: Janice R. Sufrin, et al.
Almmustuhtton: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
Dahkki: Dominic Fitzsimmons, et al.
Almmustuhtton: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
Dahkki: L. Noël Marsh, et al.
Almmustuhtton: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
Dahkki: Fauziah Fauziah, et al.
Almmustuhtton: (2022-12-01)