19 treff

datamaskiner verifisering
Reactive systems : modelling, specification and verification
Luca Aceto ... [et al.]
Bok Engelsk 2007 · Vis mer
Fundamentals of cryptology : a professional reference and interactive tutorial
by Henk C.A. van Tilborg
Bok Engelsk 2000 · Vis mer
Religions of South Asia : an introduction
edited by Sushil Mittal and Gene R. Thurs...
Bok Engelsk 2006 · Vis mer
Principles of model checking
Christel Baier, Joost-Pieter Katoen
Bok Engelsk 2008 · Vis mer
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
ATVA 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings
ATVA 2006
Bok Engelsk 2006 · 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
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
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
ATVA 2005
Bok Engelsk 2005 · 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
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings
CHARME 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
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
CHARME 2003
Bok Engelsk 2003 · Vis mer
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
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
CHARME 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
Verification of digital and hybrid systems
NATO Advanced Study Institute on Verification of Digital and Hybrid Systems
Bok Engelsk 2000 · Vis mer