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

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Bowen, Jonathan
Formaat:	Boek
Taal:	Undetermined
Gepubliceerd in:	[k.x.đ] [k.x.đ] 2003
Onderwerpen:	Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
Online toegang:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Formal object-oriented specification using object-Z /
door: Duke, Roger.
Gepubliceerd in: (2000)

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

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

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

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

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

The Japanese business leaders
door: Mannari, Hiroshi
Gepubliceerd in: (1974)

The World in 1997
Gepubliceerd in: (1997)

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

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

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

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

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

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

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

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

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

The World Book Encyclopedia W-X-Y-Z, Volume 20
door: William Benton
Gepubliceerd in: (1968)

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

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

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

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