Teaching and learning formal methods
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:27954/Holdings |
|---|---|
| Ostali autori: | Dean, C. Neville (Editor), Hinchey, Michael G. |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
New York :
Academic Press Inc,
1996.
|
| Izdanje: | 1. izd |
| Nakladnička cjelina: |
International Series in Formal Methods / Academic Press Inc..
|
Središnja knjižnica - ZTEL
| Signatura: |
4533 |
|---|---|
| Primjerak 4533 |
Posuđeno – Do: 11.09.2026. |