Formal Speciï¬cation and Documentation using Z

Mã QR

Formal Speciï¬cation and Documentation using Z A Case Study Approach

Bibliography: 253 - 283; Introduction (Formal Speciï¬cation using Z; Industrial Use of Formal Methods; A Brief Introduction to Z); Network Services (Documentation using Z; A File Storage Service); UNIX Software (A Text Formatting Tool; An Event-based Input System); Instruction Sets; Graphics; Wind...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Bowen, Jonathan
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	[k.x.đ] [k.x.đ] 2003
Những chủ đề:	Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
Truy cập trực tuyến:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Những quyển sách tương tự

Phép biến đổi Z và ứng dụng
Bỡi: Phạm, Hương Lan
Được phát hành: (2020)

Phép biến đổi Z và một vài ứng dụng
Bỡi: Lê, Thị Phương
Được phát hành: (2023)

The Japanese business leaders
Bỡi: Mannari, Hiroshi
Được phát hành: (1974)

The World in 1997
Được phát hành: (1997)

On quadratic extensions of number fields and Iwasawa invariants for basic Z3-extensions /
Bỡi: Horie, Kuniaki.

Tính sáng tạo của trẻ khuyết tật trí tuệ nhẹ 5-6 tuổi qua test tsd-z /
Bỡi: Nguyễn Quang Uẩn, GS.TS.

Phân tích các yếu tố ảnh hưởng rủi ro phá sản ngân hàng bằng phương pháp Z-Score /
Bỡi: Nguyễn Minh Hà.

Biến đổi Z trong xử lý tín hiệu số
Bỡi: Nguyễn, Hữu Phương
Được phát hành: (2014)

On formalizing and normalizing role-based access control systems /
Bỡi: Power, David.

Khánh kiệt tài chính và ứng dụng mô hình Z-Score trong dự báo khánh kiệt tài chính
Bỡi: Huỳnh Cát, Tường
Được phát hành: (2018)

Ngôn ngữ C (Từ A đến Z )
Bỡi: Hoàng Đức, Hải
Được phát hành: (2018)

Taking sides
Được phát hành: (2010)

American Education
Bỡi: Spring, Joel
Được phát hành: (2010)

Introduction to law & paralegal studies
Bỡi: Scuderi, Connie Farrell
Được phát hành: (2008)

Phylogenetic analysis of nitrite, nitric oxide, and nitrous oxide respiratory enzymes reveal a complex evolutionary history for denitrification /

Giáo trình kỹ thuật lập trình
Bỡi: Lê, Hữu Lập
Được phát hành: (2006)

A Monte Carlo study of eight confidence interval methods for coefficient alpha /
Bỡi: Romano, Jeanine L.

A topological degree of multivalued mappings of K-compact type /
Bỡi: Gajicc, Ljiljana.

Sociology : understanding a diverse society /
Bỡi: Andersen, Margaret L.
Được phát hành: (2004)

Giáo trình kỹ thuật lập trình C :
Bỡi: Nguyễn, Linh Giang
Được phát hành: (2010)

Nghiên cứu kiến trúc ứng dụng ngữ nghĩa :
Bỡi: Lê, Thị Minh Loan
Được phát hành: (2010)

C# network programming
Bỡi: Blum, Richard
Được phát hành: (2003)

C# network programming
Bỡi: Blum, Richard
Được phát hành: (2003)

Real étate license exams for dummies
Bỡi: Yoegel, John A.
Được phát hành: (2013)

C# 2010 for programmers
Bỡi: Deitel, Paul
Được phát hành: (2011)

Giáo trình xử lý số tín hiệu ( Sách dùng cho sinh viên hệ Cao đẳng) /
Bỡi: Nguyễn Quốc Trung
Được phát hành: (2009)

Ivor Horton's beginning Visual C++ 2005
Bỡi: Horton, Ivor
Được phát hành: (2006)

Using Visual C++ 4
Được phát hành: (1996)

Using Visual C++ 4
Được phát hành: (1996)

Nghiên cứu đặc điểm tưởng tượng sáng tạo của học sinh trường tiểu học Thọ Sơn - Anh Sơn - Nghệ An thông qua trắc nghiệm TSD-Z của Klaus K. Urban.
Bỡi: Nguyễn, Thị Hải Yến
Được phát hành: (2015)

Pro ASP.NET 4.5 in C#
Bỡi: Freeman, Adam
Được phát hành: (2013)

Nhập môn lập trình
Bỡi: Đặng Bình Phương

Android boot camp for developers using Java(TM), comprehensive :
Bỡi: Hoisington, Corinne
Được phát hành: (2013)

SQL server 2005 :
Bỡi: Phạm, Hữu Khang
Được phát hành: (2008)

Tin học 11 :
Được phát hành: (1996)

Tin học 10 :
Được phát hành: (1996)

Programming in C++
Bỡi: Dewhurst, Stephen C.
Được phát hành: (1995)

Giáo trình nhập môn tin học :
Bỡi: Tô, Văn Nam
Được phát hành: (2007)

Understanding C++ for MFC
Bỡi: Raposa, Richard F.
Được phát hành: (2001)

Ngôn ngữ SQL
Bỡi: Nguyễn, Tuệ
Được phát hành: (2006)