潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Certifications of critical systems : the CECRIS experience / editors, Andrea Bondavalli, Francesco Brancati.

出版发行项:

Gistrup, Denmark : River Publishers, 2024.

ISBN:

9788770044172

载体形态项:

xxxv, 278 pages : illustrations ; 25 cm.

丛编说明:

River publishers series in information science and technology.

附加个人名称:

Bondavalli, Andrea, editor.

论题主题:

Computer software-Verification.

中图法分类号:

TP311.5

一般附注:

Originally published: 2017.

书目附注:

Includes bibliographical references and index.

豆瓣简介：