Final Report on SRC Project into Program Proving

Final Report on SRC Project into Program Proving

Bibliographic Details
Main Author:	Hoare, C
Format:	Record
Published:	2015

Similar Items

Program Proving: Jumps and Functions
by: Clint, M, et al.
Published: (1972)

Remarks on “Program Proving: Jumps and Functions”
by: Ashcroft, E, et al.
Published: (1976)

The role of the Src homology 3-Src homology 2 interface in the regulation of Src kinases.
by: Arold, S, et al.
Published: (2001)

Testing and Proving‚ Hand−in−Hand
by: Hoare, T
Published: (2010)

Proving programs correct /
by: 389140 Anderson, Robert Brockett, 1941-
Published: (1979)

Reactor physics project final report
by: Driscoll, Michael J., et al.
Published: (2014)

Accurate Theorem Proving for Program Verification
by: Cook, B, et al.
Published: (2006)

Proving correctness of highly−concurrent linearisable objects
by: Vafeiadis, V, et al.
Published: (2006)

Cogent: Accurate theorem proving for program verification
by: Cook, B, et al.
Published: (2005)

Final report lower hybrid MDF project
by: Israel, H., et al.
Published: (2015)

Final Report of the Multics Kernal Design Project
by: Schroeder, Michael D., et al.
Published: (2023)

Heavy Water Lattice Project final report
by: Thompson, Theos Jardin, 1918-1970, et al.
Published: (2014)

Proving acceptability properties of relaxed nondeterministic approximate programs
by: Carbin, Michael James, et al.
Published: (2012)

A Proposal for a Geometry Theorem Proving Program
by: Hart, Timothy P.
Published: (2004)

Narrow channel turbulence modeling project : final report
by: Meyer, John E., et al.
Published: (2014)

The Commonwealth Electric Open Planning Project : final report
by: Andrews, Clinton J.
Published: (2011)

Explorations in international relations: Final program report
by: Choucri, Nazli
Published: (2022)

BRII (Building the Research Information Infrastructure) Project: Final Report
by: Rumsey, S, et al.
Published: (2010)

Final Report of the Brookline LOGO Project. Part II: Project Summary and Data
by: Papert, Seymour A., et al.
Published: (2004)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
by: Norton, Lewis Mark
Published: (2004)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
by: Norton, Lewis Mark
Published: (2023)

The origins of human competence : the final report of the Harvard Preschool Project/
by: 367535 White, Burton L., et al.
Published: (1979)

20 SRC members promised to carry out their duties
by: UMP, PNC

The Exception Proves the Rule
by: Holton, Richard
Published: (2009)

The Exception Proves the Rule
by: Holton, Richard
Published: (2011)

Theorem proving [filem]
Published: (1969)

Theorem proving [kasetvideo]
Published: (1969)

KITD816V induces SRC-mediated tyrosine phosphorylation of MITF and altered transcription program in melanoma
by: Phung, B, et al.
Published: (2017)

Final report
by: International Conference on the Trends in the Teaching and Training of engineers (9-13 December, 1968 : Paris)
Published: (1969)

[Final report]
by: Meeting of Representatives of Cultural Research Institutions in Asia (1976 : Tokyo)
Published: (1976)

A Complete Axiomatic System for Proving Deductions About Recursive Programs
by: Harel, David, et al.
Published: (2023)

Supporting Data Management Infrastructure for the Humanities (Sudamih) Project Final Report
by: Wilson, J
Published: (2011)

M.I.T. LMFBR Blanket Physics Project : final summary report
by: Driscoll, Michael J.
Published: (2014)

The future of the Anglican colleges: final report of the church colleges research project
by: Gay, J, et al.
Published: (1986)

Interactive slideshow remote control (SRC) mobile application for android
by: Mohd Azfar Shazwan, Mustari
Published: (2016)

SRC-led materials research: 40 years ago, and now
by: Zhirnov, Victor, et al.
Published: (2023)

Planetary transit candidates in the CoRoT-SRc01 field
by: Erikson, A, et al.
Published: (2012)

Global immersion program : Shanghai industrial attachment final report
by: Chng, Xian Ming.
Published: (2012)

Final year project
by: Feng, Xiang
Published: (2015)

Malaysian varsities prove their worth
by: Mustafa, Zulita
Published: (2018)