The way of Z: practical programming with formal methods

other_versions_link
Chi tiết về thư mục
Tác giả chính: Jacky, Jonathan
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Cambridge Cambridge University press 1997
Những chủ đề:
Z (Computer program language)
Search Result 1
The Way of Z: practical programming with formal methods
Bằng Jacky, Jonathan
Được phát hành 1997
Printed Book
other_versions_search_link

Những quyển sách tương tự