Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Farn Wang

Ngôn ngữ:

ISBN-13: 978-3540304760

Ký hiệu phân loại: 670.285 Data processing || Computer applications

Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.

Mô tả vật lý: XII, 510 p. , online resource.

Bộ sưu tập: Tài liệu truy cập mở

ID: 318080

1.

Tạo bộ sưu tập với mã QR