Formal Specification and Documentation using Z

Formal Specification and Documentation using Z A Case Study Approach

Bibliography: 253 - 283; Introduction (Formal Specification 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...

সম্পূর্ণ বিবরণ

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Bowen, Jonathan
বিন্যাস: গ্রন্থ
ভাষা:Undetermined
প্রকাশিত: [k.x.đ] [k.x.đ] 2003
বিষয়গুলি:
Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
অনলাইন ব্যবহার করুন:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một

আন্তর্জাল

http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326

হোল্ডিংসের বিবরণ

অনুরূপ উপাদানগুলি