机读格式显示(MARC)

• 000 00951cam a2200253 i 4500

• 001 0000841412

• 005 20250912103100.0

• 008 170630r20242017dk a b 001 0 eng d

• 020 __ |a 9788770044172 |q paperback

• 040 __ |a CEPC1 |b eng |c CEPC1 |e rda

• 050 _4 |a QA76.76.V47 |b C47 2017

• 090 __ |a TP311.5/X10

• 093 __ |a TP311.5 |2 5

• 245 00 |a Certifications of critical systems : |b the CECRIS experience / |c editors, Andrea Bondavalli, Francesco Brancati.

• 260 __ |a Gistrup, Denmark : |b River Publishers, |c 2024.

• 300 __ |a xxxv, 278 pages : |b illustrations ; |c 25 cm.

• 336 __ |a text |b txt |2 rdacontent.

• 337 __ |a unmediated |b n |2 rdamedia.

• 338 __ |a volume |b nc |2 rdacarrier.

• 490 1_ |a River publishers series in information science and technology.

• 500 __ |a Originally published: 2017.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Computer software |x Verification.

• 700 1_ |a Bondavalli, Andrea, |e editor.