loading
  • Trang chủ
  • Sách, tuyển tập
  • Tools and algorithms for the construction and analysic of systems: 4th Internatioanal conference, TACAS' 98... On theory and practice of software, ETAPS'98 Libon, Portugal, March 28-April 4, 1998 proceedings/ ed. Bernhard Steffen
Sách, tuyển tập

Tools and algorithms for the construction and analysic of systems: 4th Internatioanal conference, TACAS' 98... On theory and practice of software, ETAPS'98 Libon, Portugal, March 28-April 4, 1998 proceedings/ ed. Bernhard Steffen

Tác giả : ed. Bernhard Steffen

Nhà xuất bản : Springer

Năm xuất bản : 1998

Nơi xuất bản : Berlin

Mô tả vật lý : xiii, 455tr; 25cm

Tùng thư : Lecture notes in computer science; vol 1384

Chủ đề : 1. công cụ. 2. lí thuyết. 3. phần mềm máy tính. 4. thuật toán. 5. tin học.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Các bài tham luận trong hội nghị đề cập tới các vấn đề lí thuyết và thực hành kiểm tra các mô hình phần mềm trong tin học; Thiết kế và cấu trúc phần mềm; Lí thuyết về hiệu quả bộ nhớ; ứng dụng trong các lĩnh vực khoa học kỹ thuật phân tích tổng hợp có hệ thống
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
Thư viện Quốc gia Việt Nam NV98.1066
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-116446.html