Hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Bouajjani, Ahmed', Thời gian tìm kiếm: 1.65s Lọc kết quả
1
Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả: Bouajjani, Ahmed, Monniaux, David
Thông tin xuất bản: Springer International Publishing 2020
Click để truy cập toàn văn
Sách
Thêm vào giá sách ảo
Lưu vào:
Công cụ tìm kiếm: Lấy RSS Feed — Gửi tìm kiếm này qua Email