12 treff

computer programs verification
Data refinement : model-oriented proof methods and their comparison
Roever, W.-P. de
Bok Engelsk 1998 · Vis mer
Verification and validation in scientific computing
Oberkampf, William L
Bok Engelsk 2010 · Vis mer
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Müller-Olm, Markus
Bok Engelsk 1997 · Vis mer
Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
René Alt ... [et al.] (eds.)
Bok Engelsk 2004 · Vis mer
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
VMCAI 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
VMCAI 2002
Bok Engelsk 2002 · Vis mer
Programming logics : an introduction to verification and semantics
Raymond D. Gumb
Bok Engelsk 1989 · Vis mer
An introduction to formal program verification
Ali Mili
Bok Engelsk 1985 · Vis mer
A survey of verification techniques for parallel programs
Howard Barringer
Bok Språk ikke angitt 1985 · Vis mer
Hearings on the reauthorization of the Higher Education Act of 1965 : Title IX, trio and state student incentive grants, and campus-based programs : hearings before the Subcommittee on Postsecondary Education of the Committee on Education and Labor, House of Representatives, One Hundred Second Congress, first session, hearings held in Washington, DC, June 13, 18, and 26, 1991.
United States.
Bok Engelsk · Vis mer
Verifiable programming
Ole-Johan Dahl
Bok Engelsk 1992 · Vis mer
Proving operating systems correct
by Richard Alan Karp
Bok Språk ikke angitt 1983 · Vis mer