Formalna verifikacija sustava kao mrežna usluga
Sažetak na hrvatskom: Kroz rad dan je pregled cjelovitog procesa izrade mrežne usluge. Pokazan je proces izrade vlastitog web poslužitelja od temelja do mogućnosti razvoja web aplikacija i web usluga na istom poslužitelju. Rad započinje postavljanjem osnovnih komponenti potrebne programske potpore k...
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:45498 |
|---|---|
| Glavni autor: | Juratovac, Miroslav (-) |
| Ostali autori: | Bogunović, Nikola (Thesis advisor) |
| Vrsta građe: | Drugo |
| Impresum: |
Zagreb,
M. Juratovac,
2014.
|
| Predmet: |
formalna verifikacija
> mrežna usluga
> web usluga
> web aplikacija
> PHP
> MySQL
> Apache
> Ubuntu
> REST
> OAuth
> VIS
> NuSMV
formal verification
> web service
> web application
> PHP
> MySQL
> Apache
> Ubuntu
> REST
> OAuth
> VIS
> NuSMV
|
Središnja knjižnica - Spremište
| Signatura: |
DI-161 |
|---|---|
| Primjerak SRE_33884 |
Nije za posudbu (samo u čitaonici) |