10 treff

programbevis
Bevissystemer for prosesser med felles variable
Kari Asheim
Bok Bokmål 1994 · Vis mer
Essays in computing science
Hoare, C.A.R.
Bok Engelsk 1989 · Vis mer
Logical derivation of computer programs
Thomas G. Windeknecht
Bok Engelsk 1999 · Vis mer
Data refinement : model-oriented proof methods and their comparison
Roever, W.-P. de
Bok Engelsk 1998 · Vis mer
Proving the correctness of a code generator specification using term rewriting techniques
Buth, Karl-Heinz
Bok Engelsk 1987 · Vis mer
Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
LPAR 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
LPAR 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
The Data parallel programming model : foundations, HPF realization, and scientific applications
Guy-René Perrin, Alain Darte (eds.)
Bok Engelsk 1996 · Vis mer
Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
TYPES '95
Bok Engelsk 1996 · Vis mer
Types for proofs and programs : international workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers
TYPES '94
Bok Engelsk 1995 · Vis mer