Certifications of critical systems - the CECRIS experience /

Bibliographic Details
Other Authors: Bondavalli, Andrea, (Editor), Brancati, Francesco, (Editor)
Format: eBook
Language:English
Published: Gistrup, Denmark ; Delft, the Netherlands : River Publishers, 2017.
Series:River Publishers series in information science and technology.
Subjects:
Online Access:Click to View
LEADER 02106nam a2200445 i 4500
001 EBC5050189
003 MiAaPQ
005 20200520144314.0
006 m o d |
007 cr cnu||||||||
008 171018t20172017dk a ob 001 0 eng d
020 |z 9788793519565 
020 |a 9788793519558 (e-book) 
035 |a (MiAaPQ)EBC5050189 
035 |a (Au-PeEL)EBL5050189 
035 |a (CaPaEBR)ebr11444335 
035 |a (OCoLC)1004995152 
040 |a MiAaPQ  |b eng  |e rda  |e pn  |c MiAaPQ  |d MiAaPQ 
050 4 |a QA76.5  |b .C478 2017 
082 0 |a 621.381958  |2 23 
245 0 0 |a Certifications of critical systems - the CECRIS experience /  |c Andrea Bondavalli, Francesco Brancati, editors. 
264 1 |a Gistrup, Denmark ;  |a Delft, the Netherlands :  |b River Publishers,  |c 2017. 
264 4 |c 2017 
300 |a 1 online resource (316 pages) :  |b illustrations, tables. 
336 |a text  |2 rdacontent 
337 |a computer  |2 rdamedia 
338 |a online resource  |2 rdacarrier 
490 1 |a River Publishers Series in Information Science and Technology 
504 |a Includes bibliographical references at the end of each chapters and index. 
588 |a Description based on online resource; title from PDF title page (ebrary, viewed October 18, 2017). 
590 |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
650 0 |a Electronic digital computers. 
650 0 |a Electronic digital computers  |x Reliability. 
655 4 |a Electronic books. 
700 1 |a Bondavalli, Andrea,  |e editor. 
700 1 |a Brancati, Francesco,  |e editor. 
776 0 8 |i Print version:  |t Certifications of critical systems - the CECRIS experience.  |d Gistrup, Denmark ; Delft, the Netherlands : River Publishers, c2017   |h xxxv, 278 pages   |k River Publishers series in information science and technology.  |z 9788793519565 
797 2 |a ProQuest (Firm) 
830 0 |a River Publishers series in information science and technology. 
856 4 0 |u https://ebookcentral.proquest.com/lib/matrademy/detail.action?docID=5050189  |z Click to View