Formal Speciï¬cation and Documentation using Z

QR Code

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...

Full description

Saved in:

Bibliographic Details
Main Author:	Bowen, Jonathan
Format:	Book
Language:	Undetermined
Published:	[k.x.đ] [k.x.đ] 2003
Subjects:	Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
Online Access:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
Tags:	Add Tag No Tags, Be the first to tag this record!

Institutions:	Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Similar Items

Formal object-oriented specification using object-Z /
by: Duke, Roger.
Published: (2000)

Phép biến đổi Z và ứng dụng
by: Phạm, Hương Lan
Published: (2020)

Phép biến đổi Z và một vài ứng dụng
by: Lê, Thị Phương
Published: (2023)

Building A Social Networking Application To Support Improving Mental Health For Generation Z
by: Nguyen, Khac Thinh, et al.
Published: (2025)

The new Encyclopaedia Britannica.The index L-Z
by: Safra, Jacob
Published: (2010)

Đối chiếu ngôn ngữ của “gen z” trong lời giao tiếp thân mật trong tiếng việt và tiếng anh
by: Trần Trung Nguyên
Published: (2025)

Factors affecting Gen Z's purchase intention for handmade frame products on the TikTok
by: Nguyen, Thi Dieu Linh
Published: (2024)

Đối chiếu các biểu thức thể hiện hành vi khen, chê trong hội thoại của gen z (generation z) giữa tiếng việt và tiếng anh
by: Võ Văn Tấn
Published: (2025)

Đối chiếu ngôn ngữ của “gen z” trong lời giao tiếp thân mật trong tiếng việt và tiếng anh
by: Trần Trung Nguyên
Published: (2025)

The Japanese business leaders
by: Mannari, Hiroshi
Published: (1974)

The World in 1997
Published: (1997)

The Impact of Tiktok Social Media Influencer Marketing on Brand Attitude of Generation Z in Viet Nam
by: Hoang, Thi Kim Chi, et al.
Published: (2022)

An investigation into the IMPACTS OF VIRAL ENGLISH CLIPS ON Tik Tok on learning English of Gen Z Students at the Falculty of English – The University of Foreign Language Studies – UDN
by: KHSV24_52
Published: (2025)

Gen Z và vấn đề an toàn thông tin cá nhân trên mạng xã hội: cơ sở giáo dục cần làm gì?
by: Nguyễn, Thị Thanh Huyền
Published: (2026)

Một số giải pháp nâng cao kỹ năng mềm cho thế hệ Gen Z hiện nay
by: Lại, Thị Thùy Linh
Published: (2026)

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

9. Các yếu tố ảnh hưởng đến việc lựa chọn trường đại học của sinh viên Gen Z tại Đồng Nai trong năm 2024
by: Nguyễn, Vũ Huy Hoàng, et al.
Published: (2026)

Các nhân tố ảnh hưởng đến ý định sử dụng ví điện tử ZaloPay của Gen Z tại Thành phố Hồ Chí Minh
by: Ngô, Hữu Thắng, et al.
Published: (2026)

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

A Study on Factors Affecting Online Shopping Intention Through Mobile Shopping Applications Of Gen Z: A Case Study In Vietnam
by: Tran, Pham Huyen Trang
Published: (2024)

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 /
by: Nguyễn Minh Hà.

The Impact Of Tiktok Social Media Influencer Marketing On Brand Attitude Of Generation Z In Viet Nam
by: Hoang, Thi Kim Chi
Published: (2022)

Các nhân tố ảnh hưởng đến tuyển dụng nhân lực Gen Z của các doanh nghiệp trên địa bàn Hà Nội
by: Nguyễn, Thanh Vân
Published: (2026)

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

The Influence Of Brand Equity On Natural Cosmetics Purchase Intention Of Generation Z Female Customers
by: Lam, Tam Nhi
Published: (2022)

Biến đổi Z trong xử lý tín hiệu số
by: Nguyễn, Hữu Phương
Published: (2014)

Các yếu tố ảnh hưởng đến ý định mua sản phẩm thời trang của Gen Z tại TP. Hồ Chí Minh
by: Trần, Văn Đạt, et al.
Published: (2026)

Gia tăng sự gắn kết của nhân viên Gen Z với doanh nghiệp
by: Phạm, Thị Thanh Thủy
Published: (2026)

Từ điển kinh tế thị trường A-Z
by: Trần Bá Tước
Published: (1993)

The World Book Encyclopedia W-X-Y-Z, Volume 20
by: William Benton
Published: (1968)

Các yếu tố ảnh hưởng đến sự chữa lành trong cuộc sống của Gen Z
by: Nguyễn, Quang Anh, et al.
Published: (2026)

Tiêu dùng xanh trong thực tiễn: Tìm hiểu ý định mua ống hút giấy của Gen Z tại đô thị lớn Việt Nam
by: Nguyễn, Đức Đạt
Published: (2026)

Factor Affecting E-Wom Of Purchase Intention: A Case Study For Gen Z Customers When Watching Tiktok In Da Nang City
by: Phan, Thi Tuong Vi
Published: (2022)

A Study On Factors Affecting Intention To Buy "Green" Skincare Cosmetics Through Social Networking Sites Of Generation Z In Da Nang City
by: Tran, Thi Hien
Published: (2022)

Quyết định sử dụng sàn thương mại điện tử của Gen Z: So sánh phương pháp hồi quy và phương pháp ANN
by: Nguyễn, Khắc Hiếu, et al.
Published: (2026)

Tác động của thông tin truyền miệng điện tử đến ý định mua hàng trực tuyến của thế hệ Z tại Hà Nội
by: Nguyễn, Thị Nga, et al.
Published: (2026)

Giảng dạy các môn lý luận chính trị cho sinh viên thế hệ gen Z ở bậc đại học hiện nay
by: Mạch, Thị Khánh Trinh
Published: (2026)

Factors of Tiktok Social Media Affecting Brand Awareness of English Centers in Da Nang City: A Case Study of Gen Z
by: Nguyen, Van Tuan
Published: (2023)

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
by: Huỳnh Cát, Tường
Published: (2014)

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
by: Huỳnh Cát, Tường
Published: (2018)