skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

Davies Jim; Schulte Wolfram; Barnett Mike

2004

Kiểm tra tình trạng sẵn có của tài liệu

  • Nhan đề:
    Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
  • Tác giả: Davies Jim; Schulte Wolfram; Barnett Mike
  • Chủ đề: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses
  • Nhan đề liên quan: Ấn phẩm liên tục:Lecture notes in computer science
  • Nơi xuất bản: New York Springer
  • Năm xuất bản: 2004
  • Định dạng: xiii, 500 p. ill. 25 cm..
  • Ngôn ngữ: English
  • Số nhận dạng: ISBN3540238417
  • Phân loại DDC: 005.13 FOR
  • Nguồn: Bộ sưu tập in
Liên kết riêng
Trở lại danh sách kết quả

    DANH MỤC LIÊN HỆ
  Giới thiệu Tìm kiếm TRUNG TÂM SỐ - ĐẠI HỌC THÁI NGUYÊN
  Sản phẩm Sử dụng Phường Tân Thịnh-Thành phố Thái Nguyên
  Dịch vụ Hỏi đáp Điện thoại: (+84)-2803.852.443 Fax: 02803.656.601
  Tài liệu mở Email:tthl(a)tnu.edu.vn

Đang tìm Cơ sở dữ liệu bên ngoài...