Loại tài liệu: Sách
Formal Methods for Mobile Computing= 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems SFM-Moby 2005.: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 / Marco Bernardo, Alessandro Bogliolo (Eds). - Berlin: Springer , 2005. - vi, 270 p. : ill. ; 24 cm.. -( Lecture notes in computer science)
Thông tin tài liệu |
Giá tiền |
924000 |
Mã ngôn ngữ |
eng |
Chỉ số phân loại DDC |
005.13/ FOR |
Nhan đề tài liệu |
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 / Marco Bernardo, Alessandro Bogliolo (Eds) |
Dạng khác của nhan đề |
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems |
Dạng khác của nhan đề |
SFM-Moby 2005. |
Xuất bản, phát hành |
Berlin: Springer , 2005 |
Mô tả vật lý |
vi, 270 p. : ill. ; 24 cm. |
Thông tin về tùng thư |
Lecture notes in computer science |
Chủ đề |
Computer software |
Chủ đề |
Formal methods (Computer science) |
Chủ đề |
Mobile computing |
Chủ đề |
System design |
Tác giả bổ sung |
Bernardo, Marco. |
Tác giả bổ sung |
Bogliolo, Alessandro. |
Ký hiệu kho |
CK |
Ký hiệu kho |
Chuyên Khảo. CK.0000008639 |
Kho | Số ĐKCB | Trạng Thái |
Chuyên Khảo | CK.0000008639 |
Trong kho sẵn sàng cho mượn
|