Applications of formal methods
| Tác giả khác: | , |
|---|---|
| Định dạng: | Sách |
| Được phát hành: |
London
Prentice Hall
1995.
|
| Loạt: | Prentice-Hall international series in computer science
|
| Những chủ đề: |
| Tác giả khác: | , |
|---|---|
| Định dạng: | Sách |
| Được phát hành: |
London
Prentice Hall
1995.
|
| Loạt: | Prentice-Hall international series in computer science
|
| Những chủ đề: |