Teaching and learning formal methods
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:27954/Details |
|---|---|
| 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..
|
| LEADER | 00616nam a2200205uu 4500 | ||
|---|---|---|---|
| 008 | s1996 xxu |||||||||| ||eng|d | ||
| 020 | |a 0123490405 | ||
| 035 | |a HR-ZaFER 32324 | ||
| 040 | |a HR-ZaFER |b hrv |c HR-ZaFER | ||
| 041 | |a eng | ||
| 245 | |a Teaching and learning formal methods. | ||
| 250 | |a 1. izd. | ||
| 260 | |a New York : |b Academic Press Inc., |c 1996. | ||
| 300 | |a xvi, 285 str. ; |c 23 cm. | ||
| 490 | |a International Series in Formal Methods / Academic Press Inc.. | ||
| 700 | |9 29580 |a Dean, C. Neville |4 edt | ||
| 700 | |9 29581 |a Hinchey, Michael G. |4 edt | ||
| 942 | |b BKS |c K | ||
| 990 | |a 30189 | ||
| 999 | |c 27954 |d 27954 | ||