Maths Adds Safety to Computer Programs

Maths Adds Safety to Computer Programs

Bibliographic Details
Main Author:	Hoare, C
Format:	Journal article
Published:	2015

Similar Items

Why Johnny can't add : the failure of the new math /
by: 215727 Kline, Morris
Published: (1973)

How social and emotional development add up : getting results in math and science education /
by: Haynes, Norris M., et al.
Published: (2003)

A UK Perspective on Pain and Atypical Performance - When the Maths doesn’t Add up!
by: V. Hall
Published: (2022-06-01)

Electronics and computer math /
by: 399263 Deem, Bill R., et al.
Published: (2003)

Electronics and computer math /
by: 399263 Deem, Bill R., et al.
Published: (2006)

Add a voice to your computer /
by: 278517 Miastkowski, Stan

An Axiomatic Basis of Computer Programming
by: Hoare, C
Published: (2015)

An Axiomatic Basis for Computer Programming
by: Hoare, C
Published: (1969)

Computer Programming as an Engineering Discipline
by: Hoare, C
Published: (1973)

Is There a Mathematical Basis for Computer Programming?
by: Hoare, C
Published: (1981)

A Notation for the Specification of Computer Programs
by: Hoare, C
Published: (1976)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
by: Hoare, C
Published: (1978)

Viewpoint − Retrospective: an axiomatic basis for computer programming
by: Hoare, C
Published: (2009)

Background math for a computer world /
by: 421711 Ashley, Ruth
Published: (1973)

Electronics and computer math / [cakera padat]
by: 399263 Deem, Bill R., et al.
Published: (2003)

Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture
by: Solomon, Cynthia J.
Published: (2004)

The Ideal of Program Correctness: Third Computer Journal Lecture
by: Hoare, T
Published: (2007)

"Is it an add, Miss?" /
by: 231841 Brown, Margaret

Add-on Effect and Safety of Pharmacopuncture Therapy in the Treatment of Patients with Lumbar Spinal Stenosis
by: Yoona Oh, et al.
Published: (2023-02-01)

Foundation maths : essentials maths for student /
by: 209016 Croft, Anthony, et al.
Published: (1997)

Math and mathematicians : the history of math discoveries around the world /
by: 197236 Bruno, Leonard C., et al.
Published: (1999)

What 'must' adds
by: Mandelkern, M
Published: (2019)

Add to Shopping Basket
by: James Charlton
Published: (2015-06-01)

Challenging maths /
by: 191627 Farmer, C. E. L.
Published: (1971)

Maths /
by: 211832 Norton, F. G. J.
Published: (1980)

Maths /
by: 385903 Graham, Ted, et al.
Published: (2006)

Master math : business and personal finance math /
by: Hansen, Mary
Published: (c201)

Essential mathCAD for engineering, science, and math /
by: 353387 Maxfield, Brent
Published: (2009)

Initial math skills and persistent math difficulties
by: Rebeca Siegenthaler Hierro, et al.
Published: (2017-11-01)

Math with magic, mobile application math quiz
by: Muneer Ahmad Bin Ahmad Hussain
Published: (2024)

Applied math /
by: 365675 Bajpai, Avi C., et al.
Published: (1983)

Dupilumab Efficacy and Safety as an Add-On Therapy in Uncontrolled Asthma Patients: A Systematic Review
by: Evelyn Evelyn, et al.
Published: (2022-11-01)

Industrial math program gets nod from expert panel
by: M. M., Yusoff, et al.
Published: (2009)

The Effectiveness of Perceptual Skills Reconstruction Program on Working Memory, perceptual reasoning, and Math Performance of Students with Specific Math Learning disorder
by: farzaneh asiaee, et al.
Published: (2018-07-01)

Math Tensor : a system for doing tensor analysis by computer /
by: 304439 Parker, Leonard, et al.
Published: (1994)

Automata in SageMath---Combinatorics meet Theoretical Computer Science
by: Clemens Heuberger, et al.
Published: (2016-05-01)

Computers, music, and math : using technology in a learning environment
by: Wagenberg, Becky
Published: (2008)

Visual math : see how math makes sense /
by: 422978 Sobanski, Jessika
Published: (2002)

Bob Miller's SAT math for the clueless : SAT math /
by: Miller, Robert, 1943-
Published: (1999)

Unraveling the role of math anxiety in students’ math performance
by: Febe Demedts, et al.
Published: (2022-11-01)