Proceedings
Permalink: | http://skupni.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: |
Održavanje sustava u tijeku
Sustav je trenutačno nedostupan zbog održavanja.
Zapisi o posjedovanju i primjercima trenutačno nisu dostupni. Za više informacija kontaktirajte osoblje knjižnice ili pošaljite upit administratoru: