Principles of model checking /

Chi tiết về thư mục
Tác giả chính: Baier, Christel
Tác giả khác: Katoen, Joost-Pieter
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Cambridge, Mass. : The MIT Press, [2012
Những chủ đề:
Computer systems > Verification.
Computer software > Verification.
Truy cập trực tuyến:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Internet

http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

DCS

Chi tiết quỹ từ DCS
Số hiệu: 51 BAI
Sao chép Trạng thái trực tiếp không khả dụng

Những quyển sách tương tự