Zaloga: COST 247 "Verification and validation methods for formal descriptions" :

Slika na naslovnici

QR koda

COST 247 "Verification and validation methods for formal descriptions" : zaključno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 /

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Brezočnik, Zmago. (Author), Kapus, Tatjana. (Author), Horvat, Bogomir, 1936- (Author), Kapus-Kolar, Monika. (Author), Frey-Pučko, Marjeta. (Author), Štrakl, Marjan. (Author), Časar, Aleš. (Author), Meolic, Robert. (Author), Dugonik, Bogdan. (Author)
Corporate Authors:	Fakulteta za elektrotehniko, računalništvo in informatiko (Maribor). (Performer), Inštitut Jožef Stefan (Ljubljana). (Performer)
Format:	Knjiga
Jezik:	Slovenian English
Izdano:	Maribor : Fakulteta za elektrotehniko, računalništvo in informatiko, 1998.
Teme:	verifikacija > validacija > paralelna programska oprema > porazdeljeni sistemi > komunikacije > komunikacijske arhitekture > COST > programska orodja
Oznake:	Označite Brez oznak, prvi označite!

Vzdrževanje sistema

Trenutno vzdržujemo knjižnični informacijski sistem.

Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: