Sử dụng tốt nhất với FireFox(+), Chrome(+), Safari(+), Opera(+), IE7(-), hỗ trợ iPhone, Android, Nokia..     Home | Sơ đồ site | Giới thiệu

eBooks Online
Chưa đăng nhập, bạn có thể đăng ký nếu chưa có account | Đăng nhập

 
 
Home » Thư mục » Kỹ thuật - Công nghệ » Công nghệ thông tin
Đang xử lý..
Formal Specification and Documentation using Z: A Case Study Approach | Jonathan Bowen | eBooks
Sau khi gửi lời mời, nếu được chấp thuận các bạn sẽ trở thành bạn bè, có thể chat, tặng, chia sẻ các tài liệu yêu thích..
Đang xử lý..
Username:
Xem tài liệu:
Quay lại | Ý kiến
Gửi cho bạn bè

Đánh giá - Góp ý

Nguồn tham khảo

Nhặt tạm vào giỏ

Formal Specification and Documentation using Z: A Case Study Approach
Formal Specification and Documentation using Z: A Case Study Approach

Mã số: 17741

Loại: Giáo trình-Bài giảng-Giáo án

Tác giả:

 Jonathan Bowen

Nguồn gốc:

 Internet, 2011

Từ khoá: ngôn ngữ hình thức ngôn ngữ lập trình

2011 818.7 kB  Số trang:315  Lượt xem:10,772
Địa chỉ của tài liệu:

Chia sẻ bởi: qivdybo
| Kết bạn
Ghi bookmark:
 Delicious  Digg  Google  Reddit

Chuyên ngành:

  / Kỹ thuật - Công nghệ / Công nghệ thông tin / Hệ thống thông tin / Công nghệ phần mềm

Sơ lược:

Đặc tả hình thức và viết tài liệu bằng ngôn ngữ Z, một ngôn ngữ đặc tả tự nhiên, dễ hiểu được phát triển từ cuối những năm 1970.

Preface
I. Introduction
II. Network Services
III. UNIX Software
IV. Instruction Sets
V. Graphics
VI. Window Systems

Download (818.7 kB)

Tổng kích thước gói: 818.7 kB

Nguồn tham khảo:

Soạn EK 17741 <noi_nhan> gửi 8777 để nhận tài liệu qua email Xem »
Có thể bạn cần đến..
..
Có thể download không? Bị lỗi download, lỗi mở, xem?
 
Tài liệu do thành viên chia sẻ và chịu trách nhiệm trước Điều kiện sử dụng của eBooks.
Tài liệu cùng chủ đề:     Giáo trình   Luận văn   Tham khảo   Các loại khác..

Tin học lý thuyết

Bài giảng Lý thuyết Ôtômát & Ngôn ngữ hình thức

Lý Thuyết Ngôn Ngữ Hình Thức & Ôtômat

Lý thuyết Ôtômat và Ngôn ngữ hình thức

Ngôn ngữ hình thức và Ôtômat

Lý thuyết ngôn ngữ hình thức và ôtômat

Automata and Formal Language

Lý thuyết văn phạm, ngôn ngữ, và ôtômat

Bài giảng Ngôn ngữ hình thức và Ôtômát

Systematic Software Development Using VDM

Using Z: Speci cation, Re finement, and Proof

Bài giảng Otomat và ngôn ngữ hình thức

Lý Thuyết Ngôn ngữ Hình thức & Ôtômat

Bài giảng Ngôn ngữ hình thức và ôtômat

Bài giảng Lý thuyết Ôtômat và Ngôn ngữ hình thức

Lập trình Java

Ngôn ngữ lập trình C

Ngôn ngữ Lập trình C#

Ngôn ngữ lập trình

Lập trình hướng đối tượng C++

Tin học đại cương

Ngôn ngữ C

Kỹ thuật lập trình

Lập trình Java

Giáo trình Pascal

Java dành cho người mới bắt đầu.

Lập trình Fortran 90 và hướng đối tượng

Lập trình với C#

Lập trình C căn bản

Programming C#

Lập trình Pascal căn bản

Turbo nâng cao và C++

Lập trình hướng đối tượng

Cấu trúc dữ liệu và giải thuật

Lập trình hướng đối tượng

Java Core

Ngôn ngữ lập trình C/C++

Lược giảng Ngôn ngữ Lập trình C

The C Programming Language - Ansi C

Kỹ thuật phần mềm

Giáo trình JavaScript

Ngôn ngữ lập trình C++

Lập trình C++ căn bản

Ngôn ngữ Java

Bài giảng Nhập môn lập trình

Ngôn ngữ C

Tin học cơ sở A (Ngôn ngữ lập trình C)

Kỹ thuật lập trình C/C++

Lập trình hướng đối tượng

Chưa xác định
Chia sẻ quan điểm:
 
Họ tên: 
E-mail: 
Báo lỗi hoặc báo vi phạm các điều kiện sử dụng (nếu là ý kiến khác thì không đánh đấu)
Giải đáp thắc mắc
+ Tại sao không đăng ký được?
+ Tại sao click download lại bị nhắc đăng nhập? Tại sao không download được?
+ Lỗi download 99% vì sao?
Hãy xem ở đây.
Dịch vụ Thư viện
+ Để đăng ký nhận tài liệu qua email, hãy soạn tin theo cú pháp
    EK <ma_sach> <noi_nhan>
Nhắn tới số 8677. Xem chi tiết.

+ Ngoài số lượt download cho phép mỗi ngày, bạn có thể yêu cầu thêm bằng cách soạn tin:
    EK D <username>
Nhắn tới các số 8577, 8677, 8777.
Chú ý xem hướng dẫn.

Dịch vụ liên kết
Gửi link
Học gì - Ở đâu?
Siêu thẻ:  
Tiếng Việt

Tự động
TELEX
VNI
VIQR
VIQR*
Tắt
Chính tả
Kiểu cũ

Giỏ tài liệu
Theme