Tìm kiếm nâng cao
tài liệu điện tử
A| B| C| D| E| F| G| H| I| J| K| L| M| N| O| P| Q| R| S| T| U| V| W| X| Y| Z| 0-9

Bộ sưu tập

Tài liệu nổi bật

Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

  • Nhan đề :
  • Verification, model checking, and abstract interpretation
  • Tác giả :
  • Dirk Beyer;Damien Zufferey
  • Năm xuất bản :
  • 2020
  • Nhà Xuất bản :
  • Springer
  • Từ khóa :
  • Số trang :
  • 484 tr.
Tải file tóm tắt Verification, model checking, and abstract interpretation
Về trang trước In trang

File Tóm tắt

Online: 123
Lượt truy cập: 23,364,723
Số lượt tải: 2,051,587
})