15 treff

datastøttet verifikasjon
Verification and validation in scientific computing
Oberkampf, William L
Bok Engelsk 2010 · Vis mer
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
CAV 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
CAV 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
CAV 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
CAV 2001
Bok Engelsk 2001 · Vis mer
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
CAV 2000
Bok Engelsk 2000 · Vis mer
Computer aided verification : 11th international conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings
CAV '99
Bok Engelsk 1999 · Vis mer
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
CAV '97
Bok Engelsk 1997 · Vis mer
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
CAV '96
Bok Engelsk 1996 · Vis mer
Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
CAV '95
Bok Engelsk 1995 · Vis mer
Computer-aided verification : 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings
CAV '90
Bok Engelsk 1991 · Vis mer
Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
CAV '94
Bok Engelsk 1994 · Vis mer
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
CAV '92
Bok Engelsk 1993 · Vis mer
Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
CAV '93
Bok Engelsk 1993 · Vis mer
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
CAV '91
Bok Engelsk 1992 · Vis mer