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ự

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.

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 /

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)

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

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)

Chemical constituents of the barks of Litsea glutinosa collected in Thai Nguyen province, Vietnam /
Bỡi: Pham Thi Ninh.

High energy electron-positron physics
Được phát hành: (1988)

Hệ Z-scan sử dụng laser beam profiler chế tạo từ webcamera ứng dụng trong đo đạc các tham số quang phi tuyến bậc III của chất hữu cơ /

Broadcasting politics in Japan :
Bỡi: Krauss, Ellis S.
Được phát hành: (2000)

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

Understanding community-based forest ecosystem management

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)

Đề thi dành cho các bạn yêu toán /

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

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

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

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

Modern software development using C#. NET
Bỡi: Wiener, Richard
Được phát hành: (2007)

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

Pro ASP.NET 4.5 in C#
Bỡi: Freeman, Adam
Đượ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)