Formal methods for components and objects

Loại tài liệu: Tài liệu số - Ebook

Tác giả: Aicherning, Bernhard K., De Boer, Frank S., Bonsangue, Marcello M.

Nhà xuất bản: Springer

Năm xuất bản: 2012

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt nội dung

The AVANTSSAR project; the ESF cost action IC0701; the DEPLOY project; the HATS project; the INESS project; the MADES project; the MOGEN TES project; the MUL TIFORM project; the QUASIMODO project

Ngôn ngữ:En
Tác giả:Aicherning, Bernhard K., De Boer, Frank S., Bonsangue, Marcello M.
Thông tin nhan đề:Formal methods for components and objects
Nhà xuất bản:Springer
Loại hình:Ebook
Mô tả vật lý:319p.
Năm xuất bản:2012

Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)

Danh mục
Tài nguyên khác