Proceedings : IEEE High-Assurance Systems Engineering Workshop

LDR 01371nas a2200361 a 4500
001 003305940
003 MiAaHDL
005 20230214000000.0
006 m d
007 cr bn ---auaua
008 981116c19969999cauar 1 0eng
010 ⊔ ⊔ ‡a97660113
035 ⊔ ⊔ ‡a(MiU)990033059400106381
035 ⊔ ⊔ ‡asdr-miu.990033059400106381
035 ⊔ ⊔ ‡z(MiU)MIU01000000000000003305940-goog
035 ⊔ ⊔ ‡a(OCoLC)37756969
035 ⊔ ⊔ ‡a(WaSeSS)ejrnlssj0036486
035 ⊔ ⊔ ‡z(MiU)Aleph003305940
040 ⊔ ⊔ ‡aDLC ‡cDLC ‡dEYM
042 ⊔ ⊔ ‡alc
050 0 0 ‡aTA168 ‡b.I17a
111 2 ⊔ ‡aIEEE High-Assurance Systems Engineering Workshop.
245 1 0 ‡aProceedings : ‡bIEEE High-Assurance Systems Engineering Workshop / ‡csponsored by IEEE Computer Society Technical Committee on Distributed Computing.
246 1 4 ‡aHASE ...
246 1 4 ‡aHigh-assurance systems engineering workshop
246 1 ⊔ ‡iVols. for 1997- have other title: ‡aHigh-assurance engineering workshop
246 3 0 ‡aProceedings
260 ⊔ ⊔ ‡aLos Alamitos, Calif. : ‡bIEEE Computer Society Press, ‡cc1997-
300 ⊔ ⊔ ‡av. : ‡bill. ; ‡c28 cm.
310 ⊔ ⊔ ‡aAnnual
362 0 ⊔ ‡aOct. 21-22, 1996-
538 ⊔ ⊔ ‡aMode of access: Internet.
650 ⊔ 0 ‡aQuality assurance ‡vCongresses.
650 ⊔ 0 ‡aSystems engineering ‡vCongresses.
710 2 ⊔ ‡aIEEE Computer Society. ‡bTC on Distributed Processing.
899 ⊔ ⊔ ‡a39015036297045 ‡c96TB100076 1996
CID ⊔ ⊔ ‡a003305940
DAT 0 ⊔ ‡a20230213153604.0 ‡b20230214000000.0
DAT 1 ⊔ ‡a20230214060817.0 ‡b2023-04-06T17:50:22Z
CAT ⊔ ⊔ ‡aSDR-MIU ‡cmiu ‡dALMA ‡lprepare.pl-004-008
FMT ⊔ ⊔ ‡aSE
HOL ⊔ ⊔ ‡0sdr-miu.990033059400106381 ‡aMiU ‡bSDR ‡cMIU ‡f003305940 ‡pmdp.39015036297045 ‡sMIU ‡z96TB100076 1996 ‡1990033059400106381
974 ⊔ ⊔ ‡bMIU ‡cMIU ‡d20230406 ‡sgoogle ‡umdp.39015036297045 ‡z96TB100076 1996 ‡y1996 ‡ric ‡qbib ‡tUS serial item date >= 1929
974 ⊔ ⊔ ‡bMIU ‡cMIU ‡d20230617 ‡sgoogle ‡umdp.39015039848109 ‡z97TB100211 1997 ‡y1997 ‡ric ‡qbib ‡tUS serial item date >= 1929