Loại tài liệu: Sách
Formal methods for components and objects= FMCO 2004: third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004: revised lectures / Frank S. de Boer ... [et al.] (eds.). - Berlin: Springer-Verlag , c2005. - viii, 323 p. : ill. ; 24 cm.
Thông tin tài liệu |
Giá tiền |
1008000 |
Mã ngôn ngữ |
eng |
Chỉ số phân loại DDC |
005.13/ FOR |
Nhan đề tài liệu |
Formal methods for components and objects: third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004: revised lectures / Frank S. de Boer ... [et al.] (eds.) |
Dạng khác của nhan đề |
FMCO 2004 |
Xuất bản, phát hành |
Berlin: Springer-Verlag , c2005 |
Mô tả vật lý |
viii, 323 p. : ill. ; 24 cm. |
Chủ đề |
Component software |
Chủ đề |
Formal methods (Computer science) |
Chủ đề |
Object-oriented programming (Computer science) |
Tác giả bổ sung |
Boer, Frank S. de. |
Tác giả bổ sung |
Bonsangue, Marcello M. |
Tác giả bổ sung |
Graf, Susanne |
Ký hiệu kho |
CK |
Ký hiệu kho |
Chuyên Khảo. CK.0000008574 |
Kho | Số ĐKCB | Trạng Thái |
Chuyên Khảo | CK.0000008574 |
Trong kho sẵn sàng cho mượn
|