Maths Adds Safety to Computer Programs

Maths Adds Safety to Computer Programs

Bibliografske podrobnosti
Glavni avtor:	Hoare, C
Format:	Journal article
Izdano:	2015

Podobne knjige/članki

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

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

Background math for a computer world /
od: 421711 Ashley, Ruth
Izdano: (1973)

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

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

Maths /
od: 385903 Graham, Ted, et al.
Izdano: (2006)

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

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

What 'must' adds
od: Mandelkern, M
Izdano: (2019)

Stories of mathtopia: from math anxiety to math mastery
od: Lee, Chaewon
Izdano: (2024)

Associations of children’s math and gender beliefs with their math outcomes
od: Foo, Xiao Hui
Izdano: (2021)

Ace of Math
od: Mohd Radzi, Shanizan Herman, et al.
Izdano: (2018)

Maths for economics /
od: 225392 Renshaw, Geoffrey, et al.
Izdano: (2005)

Maths for scientists /
od: Galloway, D.
Izdano: (1980)

Business maths /
od: Cleaves, Cheryl S., 1944-, et al.
Izdano: (1998)

Westminster maths /
od: 225071 Rayner, Brian
Izdano: (1970)

Electronics math /
od: 399263 Deem, Bill R.
Izdano: (2000)

Electronics math /
od: 244568 Andrews, Alan
Izdano: (1975)

Foundation maths /
od: Croft, Tony, 1957-, et al.
Izdano: (2006)

Shop math /
od: 429806 Hawkins, Vincent J.
Izdano: (1978)

Early maths /
od: 344805 Dawes, Cynthia G.
Izdano: (1977)

Culinary math /
od: 343626 Blocker, Linda, et al.
Izdano: (2007)

Maths minipacks /
od: 455077 Harper, Eon, et al.
Izdano: (1976)

Puzzle maths /
od: Holland, R. D. 334043, et al.
Izdano: (1977)

Math for physics /
od: 311770 Dalven, Richard
Izdano: (1989)

Car maths/
od: Armstrong, N.
Izdano: (1978)

Key maths
od: 462779 Griffiths, Alan Lionel
Izdano: (1977)

Calculator math.

Maths and Stats/

Maths alive /
od: 256064 Lindsey, John, et al.
Izdano: (1983)

Let's talk about maths: The role of observed 'maths-talk' and maths provision in pre-schoolers' numeracy
od: Von Spreckelsen, M, et al.
Izdano: (2019)

Practical electronics math /
od: 404636 Veley, Victor F. C., et al.
Izdano: (1980)

An Axiomatic Basis of Computer Programming
od: Hoare, C
Izdano: (2015)

The Firefox add-on for collaborative search
od: Oh, Cecilia Gek Shi
Izdano: (2010)

Computer Programming as an Engineering Discipline
od: Hoare, C
Izdano: (1973)

An Axiomatic Basis for Computer Programming
od: Hoare, C
Izdano: (1969)

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

A math-aware search engine for math question answering system
od: Chang, Kuiyu, et al.
Izdano: (2013)

Practical business math procedures : business math handbook and study guide /
od: Slater, Jeffrey, 1947-
Izdano: (2006)

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