Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 11800

Proceedings of the 2nd international workshop on applied formal methods in system design


Proceedings of the 2nd international workshop on applied formal methods in system design, Zagreb: Faculty of Electrical Engineering and Computing, 1997 (monografija)


Naslov
Proceedings of the 2nd international workshop on applied formal methods in system design

Urednik/ci
Lovrek, Ignac

Vrsta, podvrsta i kategorija knjige
Uredničke knjige, monografija, znanstvena

Izdavač
Faculty of Electrical Engineering and Computing

Grad
Zagreb

Godina
1997

ISBN
9531840040

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA


Projekt / tema
036030

Ustanove
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Ignac Lovrek (urednik)

Citiraj ovu publikaciju

Proceedings of the 2nd international workshop on applied formal methods in system design, Zagreb: Faculty of Electrical Engineering and Computing, 1997 (monografija)
Lovrek, I. (ur.) (1997) Proceedings of the 2nd international workshop on applied formal methods in system design. Zagreb, Faculty of Electrical Engineering and Computing.
@book{book, editor = {Lovrek, I.}, year = {1997}, keywords = {}, isbn = {9531840040}, title = {Proceedings of the 2nd international workshop on applied formal methods in system design}, keyword = {}, publisher = {Faculty of Electrical Engineering and Computing}, publisherplace = {Zagreb} }