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)