| Permalink: |
http://skupnikatalog.nsk.hr/Record/nsk.NSK01000219213 |
| Glavni autor: |
Lovrek, Ignac (Editor) |
| Ostali autori: |
International Workshop on Applied Formal Methods in System Design (-) |
| Ostali autori: |
Kapus-Kolar, Monika (-), Turner, Kenneth J., Sims, Steven T., Yenigun, Hunsu, Inan, Kemal, Larrabeiti, Daniel, Quemada, Juan, Pavon, Santiago, Garavel, Hubert, Jorgensen, Mark, Mateescu, Radu, Pecheur, Charles, Sighireanu, Michaela, Vivien, Bruno, Jelavić, Damir, Pavelić, Martin, Dautović, Enes, Filipović-Jurić, Emina, Madunović, Krešimir, Luttik, Bas, Kuehne, Lars, Hooman, Jozef, Magott, Jan, Huecas, Gabriel, Robles, Tomas, Serrano, Jaime, Kosmas, Nikolaos, Langendoerfer, Peter, Dams, Dennis, Gerth, Rob, Feijs, Laurentius Michiel Gerardus, Kamsteeg, Gertjan, Huzar, Zbigniew, Cleaveland, Rance, Roever, Willem-Paul de, Gonzales, Luis Mariano |
| Vrsta građe: |
Knjiga
|
| Jezik: |
eng
|
| Impresum: |
Zagreb :
Faculty of Electrical Engineering and Computing,
1997.
|
| Predmet: |
|
