LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Yazar:	Sufrin, B
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	1987

Benzer Materyaller

The Laws of Programming
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

Laws of programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

Formal specification and design of a simple assembler
Yazar:: Sørensen, I, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
Yazar:: Sufrin Efendi Lubis
Baskı/Yayın Bilgisi: (2020-09-01)

مستقبل التعليم في إندونيسية بين الرجاء والتمني
Yazar:: Sufrin Efendi Lubis
Baskı/Yayın Bilgisi: (2019-10-01)

مهارة الاستماع وضوابطها في اللغة العربية
Yazar:: Sufrin Efendi Lubis
Baskı/Yayın Bilgisi: (2020-06-01)

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
Yazar:: SUFRIN EFENDI LUBIS
Baskı/Yayın Bilgisi: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
Yazar:: Mollee K Steely Smith, ve diğerleri
Baskı/Yayın Bilgisi: (2023-09-01)

Laws of Occam Programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1986)

The Laws of Occam Programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1988)

The laws of occam programming
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1988)

Generic Models of the Laws of Programming
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2013)

Chinese law and development: implications for US rule of law programs
Yazar:: Erie, M
Baskı/Yayın Bilgisi: (2023)

Chinese law and development: implications for US rule of law program
Yazar:: Erie, MS
Baskı/Yayın Bilgisi: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
Yazar:: Nicky McWilliam, ve diğerleri
Baskı/Yayın Bilgisi: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
Yazar:: Widhi Rachayu, ve diğerleri
Baskı/Yayın Bilgisi: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
Yazar:: Gabriel Falconieri Freitas, ve diğerleri
Baskı/Yayın Bilgisi: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
Yazar:: Joyell Arscott, ve diğerleri
Baskı/Yayın Bilgisi: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2013)

The Laws of Programming Unify Process Calculi
Yazar:: Hoare, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

The Relationship between Program Laws and the Constitution
Yazar:: Ayet Mulaee
Baskı/Yayın Bilgisi: (2024-06-01)

Logic + probabilistic programming + causal laws
Yazar:: Vaishak Belle
Baskı/Yayın Bilgisi: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
Yazar:: Emir Fachry, ve diğerleri
Baskı/Yayın Bilgisi: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
Yazar:: Sufrin Shmuel, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
Yazar:: Fina Windayani, ve diğerleri
Baskı/Yayın Bilgisi: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
Yazar:: Gagan Gandara, ve diğerleri
Baskı/Yayın Bilgisi: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
Yazar:: Aulia Ratnadianti, ve diğerleri
Baskı/Yayın Bilgisi: (2020-05-01)

Reading Through ESP in an Undergraduate Law Program
Yazar:: Gladis Leonor Arias Rodríguez
Baskı/Yayın Bilgisi: (2014-04-01)

Basic economics : analysis of contemporary problems and policies /
Yazar:: 178266 Levy, Fred D., ve diğerleri
Baskı/Yayın Bilgisi: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
Yazar:: Putri Dhika Savitri, ve diğerleri
Baskı/Yayın Bilgisi: (2020-12-01)

California enacts law to strengthen conservation bank program
Yazar:: Janet White
Baskı/Yayın Bilgisi: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
Yazar:: Carolyn Penfold
Baskı/Yayın Bilgisi: (2012-01-01)

ABA Sponsors Program on Law and Emerging Infectious Diseases
Yazar:: David P. Fidler
Baskı/Yayın Bilgisi: (1996-10-01)

Laws on Approval of Program-goal Documents: Genre Approach
Yazar:: Batyushkina , Marina Vladimirovna
Baskı/Yayın Bilgisi: (2020-11-01)

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
Yazar:: Sufrin Hannan, ve diğerleri
Baskı/Yayın Bilgisi: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
Yazar:: Mohammad Irfan Rachman, ve diğerleri
Baskı/Yayın Bilgisi: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
Yazar:: Janice R. Sufrin, ve diğerleri
Baskı/Yayın Bilgisi: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
Yazar:: Dominic Fitzsimmons, ve diğerleri
Baskı/Yayın Bilgisi: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
Yazar:: L. Noël Marsh, ve diğerleri
Baskı/Yayın Bilgisi: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
Yazar:: Fauziah Fauziah, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)