int(258) ICTU | Tài liệu

Specification of Software Systems

image
  • Nhan đề tài liệu: Specification of Software Systems
  • Tác giả: V.S. Alagar, K. Periyasamy
  • Nhà xuất bản: Springer
  • Từ khóa: Software, Systems
  • Ngôn ngữ: Tiếng Anh
  • Loại tài liệu: Tham khảo
  • Tài liệu chuyên ngành thuộc khoa: Công nghệ thông tin
  • Nguồn gốc tài liệu: Giáo viên cung cấp
  • Tài liệu cho môn hoc: Các phương pháp hình thức
  • Số trang: 654
  • Năm xuất bản: 2011
  • Mô tả:

    This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development.

  • Nội dung: