Loại tài liệu: Sách
Formal methods and software engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).. - New York: Springer , 2004. - xiii, 500 p. : ill. ; 25 cm.
Thông tin tài liệu |
Giá tiền |
1344000 |
Mã ngôn ngữ |
eng |
Chỉ số phân loại DDC |
005.13/ FOR |
Nhan đề tài liệu |
Formal methods and software engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.). |
Xuất bản, phát hành |
New York: Springer , 2004 |
Mô tả vật lý |
xiii, 500 p. : ill. ; 25 cm. |
Chủ đề |
Formal methods (Computer science) |
Chủ đề |
Software engineering |
Tác giả bổ sung |
Barnett, Mike |
Tác giả bổ sung |
Davies, Jim |
Tác giả bổ sung |
Schulte, Wolfram |
Ký hiệu kho |
CK |
Ký hiệu kho |
Chuyên Khảo. CK.0000007490 |
Kho | Số ĐKCB | Trạng Thái |
Chuyên Khảo | CK.0000007490 |
Trong kho sẵn sàng cho mượn
|