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

Description complète

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bowen, Jonathan
Format:	Livre
Langue:	Undetermined
Publié:	[k.x.đ] [k.x.đ] 2003
Sujets:	Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
Accès en ligne:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

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

Documents similaires

Formal object-oriented specification using object-Z /
par: Duke, Roger.
Publié: (2000)

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

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

Building A Social Networking Application To Support Improving Mental Health For Generation Z
par: Nguyen, Khac Thinh, et autres
Publié: (2025)

The new Encyclopaedia Britannica.The index L-Z
par: Safra, Jacob
Publié: (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
par: Trần Trung Nguyên
Publié: (2025)

Factors affecting Gen Z's purchase intention for handmade frame products on the TikTok
par: Nguyen, Thi Dieu Linh
Publié: (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
par: Võ Văn Tấn
Publié: (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
par: Trần Trung Nguyên
Publié: (2025)

The Japanese business leaders
par: Mannari, Hiroshi
Publié: (1974)

The World in 1997
Publié: (1997)

The Impact of Tiktok Social Media Influencer Marketing on Brand Attitude of Generation Z in Viet Nam
par: Hoang, Thi Kim Chi, et autres
Publié: (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
par: KHSV24_52
Publié: (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ì?
par: Nguyễn, Thị Thanh Huyền
Publié: (2026)

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

On quadratic extensions of number fields and Iwasawa invariants for basic Z3-extensions /
par: 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
par: Nguyễn, Vũ Huy Hoàng, et autres
Publié: (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
par: Ngô, Hữu Thắng, et autres
Publié: (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 /
par: 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
par: Tran, Pham Huyen Trang
Publié: (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 /
par: Nguyễn Minh Hà.

The Impact Of Tiktok Social Media Influencer Marketing On Brand Attitude Of Generation Z In Viet Nam
par: Hoang, Thi Kim Chi
Publié: (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
par: Nguyễn, Thanh Vân
Publié: (2026)

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

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

Biến đổi Z trong xử lý tín hiệu số
par: Nguyễn, Hữu Phương
Publié: (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
par: Trần, Văn Đạt, et autres
Publié: (2026)

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

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

The World Book Encyclopedia W-X-Y-Z, Volume 20
par: William Benton
Publié: (1968)

Các yếu tố ảnh hưởng đến sự chữa lành trong cuộc sống của Gen Z
par: Nguyễn, Quang Anh, et autres
Publié: (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
par: Nguyễn, Đức Đạt
Publié: (2026)

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

A Study On Factors Affecting Intention To Buy "Green" Skincare Cosmetics Through Social Networking Sites Of Generation Z In Da Nang City
par: Tran, Thi Hien
Publié: (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
par: Nguyễn, Khắc Hiếu, et autres
Publié: (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
par: Nguyễn, Thị Nga, et autres
Publié: (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
par: Mạch, Thị Khánh Trinh
Publié: (2026)

Factors of Tiktok Social Media Affecting Brand Awareness of English Centers in Da Nang City: A Case Study of Gen Z
par: Nguyen, Van Tuan
Publié: (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
par: Huỳnh Cát, Tường
Publié: (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
par: Huỳnh Cát, Tường
Publié: (2018)