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

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Bowen, Jonathan
Format:	Bog
Sprog:	Undetermined
Udgivet:	[k.x.đ] [k.x.đ] 2003
Fag:	Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
Online adgang:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

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

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

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

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

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

The Japanese business leaders
af: Mannari, Hiroshi
Udgivet: (1974)

The World in 1997
Udgivet: (1997)

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

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

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

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

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

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

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

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

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

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

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

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

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

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