Industrial applications of formal methods to model, design and analyze computer systems an international survey
| Tác giả chính: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Park Ridge, N.J.
Noyes Data Corp.
c1995.
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access |