Biblioteksøk

Vis søkeskjema

5 treff

maskinverifikasjon notrbib real006574

Higher order logic and hardware verification

Melham, Thomas F.
Bok Engelsk 1993 · 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

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

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

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

CHARME '99
Bok Engelsk 1999 · Vis mer

Biblioteksøk

Meny

Startside
Lånekurv
English
Nynorsk
Davvisámegillii (Nordsamisk)
Valgt språk:Bokmål
Min profil
Logg inn
Lukk meny