-
Verification of reactive systems : formal methods and algorithmsSchneider, Klaus, 1967-Vrsta gradiva - knjigaZaložništvo in izdelava - Berlin ; New York : Springer, cop. 2004Jezik - angleškiISBN - 3-540-00296-0COBISS.SI-ID - 8682262
Avtor
Schneider, Klaus, 1967-
Teme
Computer systems |
Verification |
Formal methods (Computer science) |
Computer algorithms |
računalniški sistemi |
reaktivni sistemi |
verifikacija reaktivnih sistemov |
formalne metode |
formalna verifikacija sistemov |
verifikacijski algoritmi |
preizkušanje modelov |
reactive systems |
verification |
computer systems
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
Knjižnica tehniških fakultet, Maribor | knjižnica 004.05 SCHNEIDER K. VERIFICATION | izposojeno - na dom, rok vrnitve: nedoločen |
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Schneider, Klaus, 1967- | ![]() |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.