Biblioteksøk

Vis søkeskjema

7 treff

datamaskiner kvalitetskontroll

Formal hardware verification : methods and systems in comparison

Thomas Kropf (ed.)
Bok Engelsk 1997 · Vis mer

Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

CHARME '95
Bok Engelsk 1995 · Vis mer

Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

CHARME '93
Bok Engelsk 1993 · 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

Software engineering metrics. 1. Measures and validations

Bok Engelsk 1993 · Vis mer

Mechanized reasoning and hardware design

edited by C. A. R. Hoare and M. J. C. Gor...
Bok Engelsk 1992 · Vis mer

Measures and validations

Bok Engelsk 1993 · Vis mer

Biblioteksøk

Meny

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