Loại tài liệu: Sách
Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez ... [et al.] (eds.).. - Berlin: Springer , 2004. - xi, 379 p. : ill. ; 24 cm
Thông tin tài liệu |
Giá tiền |
1092000 |
Chỉ số phân loại DDC |
005.13/ APP |
Nhan đề tài liệu |
Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez ... [et al.] (eds.). |
Xuất bản, phát hành |
Berlin: Springer , 2004 |
Mô tả vật lý |
xi, 379 p. : ill. ; 24 cm |
Chủ đề |
Computer network protocols |
Chủ đề |
Electronic data processing Distributed processing |
Chủ đề |
Formal methods (Computer science) |
Tác giả bổ sung |
Núñez, Manuel |
Ký hiệu kho |
CK |
Ký hiệu kho |
Chuyên Khảo. CK.0000008152 |
Kho | Số ĐKCB | Trạng Thái |
Chuyên Khảo | CK.0000008152 |
Trong kho sẵn sàng cho mượn
|