Integration of structured review and model-based verification : a case study
Demissie B. Aredo ... [et al.]Inngår i serie: Report / Norsk regnesentral (1001)
Bok Engelsk utgitt 2004
Bok Engelsk utgitt 2004
Ledig
- Automatlager: 2 av 2 ledig
*001231879 *00520250613113448.0 *007ta *008060216s2004 no 000 u eng d *00900728cam a2200205 c 4500 *019 $bl *020 $a8253905092$qh. *035 $a(EXLNZ-47BIBSYS_NETWORK)990511286404702201 *035 $a(NO-LaBS)14981833(bibid) *035 $a(NO-TrBIB)051128640 *035 $a051128640-47bibsys_network *040 $aNO-TrBIB$bnob$ekatreg *24500$aIntegration of structured review and model-based verification :$ba case study$cDemissie B. Aredo ... [et al.] *260 $a[Oslo]$bNorsk regnesentral$c2004 *300 $a36 bl.$bill. *4901 $aReport / Norsk regnesentral$v1001 *7000 $aDemissie Bediye Aredo$0(NO-TrBIB)98052859$_22321300 *830 0$aRapport (Norsk regnesentral : trykt utg.)$x0809-8492$v1001$w999001538064702201$_12741000 *901 $a80 *999 $aoai:nb.bibsys.no:990511286404702202$b2021-11-14T19:59:21Z$z990511286404702202 ^