Slika naslovnice

Proceedings

Permalink: http://skupnikatalog.nsk.hr/Record/nsk.NSK01000219213/Details
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:
Projektiranje sustava > Formalne metode > Kongresi
LEADER 03175cam a2200817 i 4500
001 NSK01000219213
003 HR-ZaNSK
005 20090630123156.0
008 980818s1997 ci d 101 0 eng
015 |a HK97-2395  |2 HR 
020 |a 9531840040 
035 |9 (HR-ZaNSK)219444 
035 |9 (HR-ZaNSK)980818005 
035 |a (HR-ZaNSK)000219213 
040 |a HR-ZaNSK  |b hrv  |c HR-ZaNSK  |e ppiak 
041 0 |a eng 
042 |a croatica 
044 |a ci  |c hr 
080 |a 007:621.391](063) 
111 2 |a International Workshop on Applied Formal Methods in System Design  |n (2 ;  |d 1997 ;  |c Zagreb) 
245 1 0 |a Proceedings /  |c 2nd International Workshop on Applied Formal Methods in System Design, Zagreb, June 18 - 19, 1997 ; edited by Ignac Lovrek. 
246 1 3 |a Applied Formal Methods in System Design 
260 |a Zagreb :  |b Faculty of Electrical Engineering and Computing,  |c 1997.  |e ([s. l. :  |f s. n.]) 
300 |a VIII, 159 str. :  |b graf. prikazi ;  |c 30 cm. 
500 |a Zastupljeni autori: Rance Cleaveland, Steven T. Sims, Hunsu Yenigun, Kemal Inan, Daniel Larrabeiti, Juan Quemada, Santiago Pavon, Hubert Garavel, Mark Jorgensen, Radu Mateescu, Charles Pecheur, Michaela Sighireanu, Bruno Vivien, Ignac Lovrek, Damir Jelavić, Martin Pavelić, Enes Dautović, Emina Filipović, Krešimir Madunović, Bas Luttik, Lars Kuehne, Jozef Hooman, Willem-Paul de Roever, Zbigniew Huzar, Jan Magott, Monika Kapus-Kolar, Gabriel Huecas, Tomas Robles, Luis Mariano Gonzalez, Jaime Serrano, Nikolaos Kosmas, Kenneth J. Turner, Peter Langendoerfer, Dennis Dams, Rob Gerth, Loe Feijs, Gertjan Kamsteeg 
504 |a Bibliografija uz svaki rad 
504 |a Imensko kazalo 
650 7 |a Projektiranje sustava  |x Formalne metode  |v Kongresi  |2 nskps 
700 1 |a Lovrek, Ignac  |4 edt  |4 aut 
700 1 |a Kapus-Kolar, Monika 
700 1 |a Turner, Kenneth J. 
700 1 |a Sims, Steven T. 
700 1 |a Yenigun, Hunsu 
700 1 |a Inan, Kemal 
700 1 |a Larrabeiti, Daniel 
700 1 |a Quemada, Juan 
700 1 |a Pavon, Santiago 
700 1 |a Garavel, Hubert 
700 1 |a Jorgensen, Mark 
700 1 |a Mateescu, Radu 
700 1 |a Pecheur, Charles 
700 1 |a Sighireanu, Michaela 
700 1 |a Vivien, Bruno 
700 1 |a Jelavić, Damir 
700 1 |a Pavelić, Martin 
700 1 |a Dautović, Enes 
700 1 |a Filipović-Jurić, Emina 
700 1 |a Madunović, Krešimir 
700 1 |a Luttik, Bas 
700 1 |a Kuehne, Lars 
700 1 |a Hooman, Jozef 
700 1 |a Magott, Jan 
700 1 |a Huecas, Gabriel 
700 1 |a Robles, Tomas 
700 1 |a Serrano, Jaime 
700 1 |a Kosmas, Nikolaos 
700 1 |a Langendoerfer, Peter 
700 1 |a Dams, Dennis 
700 1 |a Gerth, Rob 
700 1 |a Feijs, Laurentius Michiel Gerardus 
700 1 |a Kamsteeg, Gertjan 
700 1 |a Huzar, Zbigniew 
700 1 |a Cleaveland, Rance 
700 1 |a Roever, Willem-Paul de 
700 1 |a Gonzales, Luis Mariano 
981 |a A20/97  |p CRO  |r HRB1997 
997 |a 167 str. 
998 |b bbe,9808  |c lbao9910  |c rjkp0003  |c dmgc0005 
852 4 |j II-76.808 
876 |e CM  |a 7651/97 
886 0 |2 unimarc  |b 03328nam0 2200757 450 

Slični primjerci