loading
Sách, tuyển tập Tài liệu điện tử

Integrated Formal Methods

Nhà xuất bản : Springer

Năm xuất bản : 2009

Số phân loại : 004.0151

Chủ đề : 1. Computer Science ; Formal methods (Computer science). 2. Book.

Chia sẻ
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học quốc gia Hà Nội
https://repository.vnu.edu.vn/handle/VNU_123/29405

 

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

A dictionary of computing

Nhà xuất bản : Oxford University Press

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Computer-Based learning and assessment for computer concepts / by Triad Interactive, Inc.

Tác giả : by Triad Interactive, Inc.

Nhà xuất bản : McGraw-Hill

Năm xuất bản : 2003

placeholder+image

Sách, tuyển tập

Communication for information technology (IT)

Nhà xuất bản : McGraw-Hill

Năm xuất bản : 2005

placeholder+image

Sách, tuyển tập

Effective IT project management : : Uusing teams to get projects completed on time and under budget / Anita Rosen

Tác giả : Anita Rosen

Nhà xuất bản : AMACOM

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

A dictionary of computers / Anthony Chandor, John Graham, Robin Williamson

Tác giả : Anthony Chandor, John Graham, Robin Williamson

Nhà xuất bản : Penguin Books

Năm xuất bản : 1970