Applications of formal methods
| Diğer Yazarlar: | , |
|---|---|
| Materyal Türü: | Kitap |
| Baskı/Yayın Bilgisi: |
London
Prentice Hall
1995.
|
| Seri Bilgileri: | Prentice-Hall international series in computer science
|
| Konular: |
| Diğer Yazarlar: | , |
|---|---|
| Materyal Türü: | Kitap |
| Baskı/Yayın Bilgisi: |
London
Prentice Hall
1995.
|
| Seri Bilgileri: | Prentice-Hall international series in computer science
|
| Konular: |