-
Principles of model checkingBaier, Christel ; Katoen, Joost-PieterVrsta gradiva - knjigaZaložništvo in izdelava - Cambridge ; London : The MIT Press, [2008?]Jezik - angleškiISBN - 978-0-262-02649-9COBISS.SI-ID - 30292229
Avtor
Baier, Christel |
Katoen, Joost-Pieter
Teme
Computer systems |
Verification |
Computer software |
Verification |
Computer systems |
Verification |
Textbooks |
Computer software |
Verification |
Textbooks |
Systèmes informatiques |
Vérification |
Systèmes informatiques |
Vérification |
Modèles mathématiques |
Logiciels |
Vérification |
Modèles mathématiques |
računalništvo |
računalniški programi |
računalniški sistemi |
verifikacija |
LTL - Linear Temporal Logic |
CTL - Computaqtion Tree Logic |
priročniki
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
Centralna tehniška knjižnica Univerze v Ljubljani | 73409 Skladišče IN: 120090511 |
prosto - na dom, čas izposoje: 14 dni |
Knjižnica FKKT in FRI, Ljubljana | IN:200057299 | 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 |
---|---|
Baier, Christel | ![]() |
Katoen, Joost-Pieter | ![]() |
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.