42 treff

programvare verifisering
Software metrics : a rigorous and practical approach
Norman E. Fenton and Shari Lawrence Pflee...
Bok Engelsk 1996 · Vis mer
Vis flere utgaver
Vis flere utgaver
Software verification and validation : realistic project approaches
Michael S. Deutsch
Bok Engelsk 1982 · Vis mer
Software verification and validation : an engineering and scientific approach
by Marcus S. Fisher
Bok Engelsk 2007 · Vis mer
Vis flere utgaver
Vis flere utgaver
Software verification and validation for practitioners and managers
Steven R. Rakitin
Bok Engelsk 2001 · Vis mer
TDT4235 Programvarekvalitet og prosessforbedring : kompendium
Tor Stålhane
Bok Engelsk 2008 · Vis mer
Experimentation in software engineering : an introduction
by Claes Wohlin ... [et al.]
Bok Engelsk 2000 · Vis mer
TDT4235 : a short introduction to quality assurance for software
Tor Stålhane
Bok Engelsk 2010 · Vis mer
Religions of South Asia : an introduction
edited by Sushil Mittal and Gene R. Thurs...
Bok Engelsk 2006 · Vis mer
Testing SAP R/3 systems : using the computer aided test control
Gerhard Oberniedermaier and Marcus Geiss ...
Bok Engelsk 2000 · Vis mer
An Introduction to Writing Grant Proposals

Bok Engelsk · Les boka på nett · Vis mer
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Nachum Dershowitz (ed.)
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Principles of model checking
Christel Baier, Joost-Pieter Katoen
Bok Engelsk 2008 · Vis mer
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
VMCAI 2005
Bok Engelsk 2005 · 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
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
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
International SPIN Workshop
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
VMCAI 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
International SPIN Workshop
Bok Engelsk 2001 · Vis mer
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
CAV 2006
Bok Engelsk 2006 · Vis mer
Formal approaches to software testing and runtime verification : first combined international workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 : revised selected papers
FATES 2006
Bok Engelsk 2006 · Vis mer
Hardware and software verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
International Haifa Verification Conference
Bok Engelsk 2006 · Vis mer
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
International SPIN Workshop
Bok Engelsk 2006 · Vis mer
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
VMCAI 2006
Bok Engelsk 2006 · Vis mer
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
CAV 2005
Bok Engelsk 2005 · Vis mer
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
International SPIN Workshop
Bok Engelsk 2005 · Vis mer
Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
TGC 2005
Bok Engelsk 2005 · Vis mer
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
The SPIN model checker : primer and reference manual
Gerard J. Holzmann
Bok Engelsk 2003 · Vis mer
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
International SPIN Workshop
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Self-adaptive software: applications : second international workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 : revised papers
IWSAS 2001
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver