Formal Speciï¬cation and Documentation using Z

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

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Bowen, Jonathan
Format:	Książka
Język:	Undetermined
Wydane:	[k.x.đ] [k.x.đ] 2003
Hasła przedmiotowe:	Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
Dostęp online:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

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

Building A Social Networking Application To Support Improving Mental Health For Generation Z
od: Nguyen, Khac Thinh, i wsp.
Wydane: (2025)

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

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

The Japanese business leaders
od: Mannari, Hiroshi
Wydane: (1974)

The World in 1997
Wydane: (1997)

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

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

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

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

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

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

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

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

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

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

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

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

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

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