Giáo Trình Đặc Tả Hình Thức (NXB Đại Học Quốc Gia 2013) - Vũ Thanh Nguyên, 291 Trang
Thể loại: Tủ Sách Đại Học
Sách ebook được sưu tầm từ Internet, Bản quyền sách thuộc về Tác giả & Nhà xuất bản. Nếu có điều kiện bạn hãy mua sách ủng hộ tác giả.
Link Sách ShopeeTải sách Giáo Trình Đặc Tả Hình Thức (NXB Đại Học Quốc Gia 2013) - Vũ Thanh Nguyên, 291 Trang pdf miễn phí
hiện này với sự phát triển mạnh mẽ của hệ thống máy tính, nhu cầu đặc tả hệ thống trong các giai đoạn phát triển phần mềm càng được tăng cường. bởi vì ngoài lợi ích mô tả hệ thống, các đặc tả còn giúp cho các người quản trị dự án có thể phát hiện sớm các lỗi trong hệ thống. từ đó giúp giảm thiểu chi phí xây dựng và phát triển hệ thống hay phần mềm trong các giai đoạn sau của dự án. giáo trình đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là vdm và z. ngoài ra giáo trình còn cung cấp phần kiến thức về phương pháp kiểm chứng và chứng minh tính đúng đắn của đặc tả hàm và luật suy diễn.
- giáo trình Đặc tả hình thức
- vũ thanh nguyên, hầu vũ thành nam
- nxb Đại học quốc gia 2013
- 291 trang
- file pdf-true
