The formal description technique lotos : results of the ESPRIT/SEDOS project
Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:27940/Details |
---|---|
Ostali autori: | Eijk, Peter H.J. van (Editor), Vissers, Chris A. |
Vrsta građe: | Knjiga |
Jezik: | eng |
Impresum: |
North-Holland Publishing Company,
1989.
|
Izdanje: | 1. izd |
LEADER | 00586nam a2200193uu 4500 | ||
---|---|---|---|
008 | s1989 |||||||||| ||eng|d | ||
020 | |a 0444872671 | ||
035 | |a HR-ZaFER 32310 | ||
040 | |a HR-ZaFER |b hrv |c HR-ZaFER | ||
041 | |a eng | ||
245 | |a The formal description technique lotos : results of the ESPRIT/SEDOS project. | ||
250 | |a 1. izd. | ||
260 | |b North-Holland Publishing Company, |c 1989. | ||
300 | |a x, 451 str. ; |c 23 cm. | ||
700 | |9 29564 |a Eijk, Peter H.J. van |4 edt | ||
700 | |9 29565 |a Vissers, Chris A. |4 edt |9 29566 | ||
942 | |b BKS |c K | ||
990 | |a 30176 | ||
999 | |c 27940 |d 27940 |