Đang tải...

Formal specification and software development

Chi tiết về thư mục
Tác giả chính: Bjorner, Diner
Tác giả khác: Jones, Cliff B.
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: New Jersy Prentice-hall international 1982
Loạt:Printice-Hall International series in computer science
Những chủ đề:

UL

Chi tiết quỹ từ UL
Số hiệu: 004.414.38 BJO
Sao chép Trạng thái trực tiếp không khả dụng