Formal methods for industrial critical systems : a survey of applications

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Stefania Gnesi, Tiziana Margaria-Steffen

Ngôn ngữ: eng

ISBN-13: 978-0470876183

ISBN-13: 978-1118459898

Ký hiệu phân loại: 004.0151 Data processing || Computer science

Thông tin xuất bản: Hoboken, New Jersey : John Wiley and Sons Incorporated, 2012

Mô tả vật lý: 1 PDF (292 pages).

Bộ sưu tập: Tài liệu truy cập mở

ID: 314508

"Balances leading edge material, established practice, and reviews of historically important contributions"-- Provided by publisher.

1. Formal methods (Computer science)

Tạo bộ sưu tập với mã QR