THÔNG TIN TÀI LIỆU
Thông tin cơ bản
| Tiêu đề | The Calculus of Computation Decision Procedures with Applications to Verification |
|---|---|
| Tác giả | Aaron R. Bradley, Zohar Manna |
| Trường học | Stanford University |
| Thể loại | thesis |
| Năm xuất bản | 2007 |
| Thành phố | Stanford |
| Định dạng | |
|---|---|
| Số trang | 375 |
| Dung lượng | 1,9 MB |
Nội dung
Ngày đăng: 27/05/2022, 15:33
TÀI LIỆU CÙNG NGƯỜI DÙNG