tài liệu điện tử Kiểm chứng các thành phần Java tương tranh : Luận án / Trịnh Thanh Bình
Tác giả : Trịnh Thanh Bình
Nhà xuất bản : Trường Đại học Công nghệ
Năm xuất bản : 2011
Nơi xuất bản : H.
Mô tả vật lý : 152tr
Số phân loại : 005.362
Chủ đề : 1. Lập trình. 2. Luận án. 3. Phần mềm Java. 4. Tin học.
Thông tin chi tiết
| Tóm tắt : | Nghiên cứu và đề xuất các phương pháp hình thức với Event-B và phương pháp sử dụng lập trình hướng khía cạnh với AOP để kiểm chứng chương trình Java tương tranh ở các pha thiết kế và cài đặt mã nguồn chương trình |
Thông tin xếp giá
| Thư viện | Kho lưu trữ | Ký hiệu/ vị trí |
Trạng thái | Đăng ký mượn |
|---|---|---|---|---|
| Thư viện tỉnh Quảng Ninh | Kho Tài liệu số | DT.000016 |
Sẵn sàng phục vụ (Đọc/Mượn) |
Tài liệu cùng danh mục chủ đề
App empire : Make money, have a life, and let technology work for you / Chad Mureta
Tác giả : Chad Mureta
Nhà xuất bản : Wiley
Năm xuất bản : 2012
Microsofl powerpoint 2002 / Timothy J. O'Leary, Linda I. O'Leary
Tác giả : Timothy J. O'Leary, Linda I. O'Leary
Nhà xuất bản : McGraw-Hill
Năm xuất bản : 2002
Microsoft excel 2002 / Timothy O'Leary, Linda I. O'Leary
Tác giả : Timothy O'Leary, Linda I. O'Leary
Nhà xuất bản : McGraw - Hil
Năm xuất bản : 2002
Kỹ nghệ phần mềm / Lê Văn Phùng
Tác giả : Lê Văn Phùng
Nhà xuất bản : Thông tin và Truyền thông
Năm xuất bản : 2020
Office XP : The complete reference / Stephen L. Nelson, Julia Kelly
Tác giả : Stephen L. Nelson, Julia Kelly
Nhà xuất bản : Osborne / McGraw-Hill
Năm xuất bản : 2001