-
Formal methods for software engineering : languages, methods, application domainsRoggenbach, MarkusVrsta gradiva - knjiga ; neleposlovje za odrasleZaložništvo in izdelava - Cham : Springer, cop. 2022Jezik - angleškiISBN - 978-3-030-38802-7COBISS.SI-ID - 174108163
Avtor
Roggenbach, Markus
Drugi avtorji
Broy, Manfred, 1949-
Teme
Software engineering |
Génie logiciel |
računalništvo |
programska oprema |
programiranje |
formalizacija |
metode |
logika |
procesna algebra |
programski jeziki |
CSP |
CASL |
UML |
vmesniki človek-stroj |
varnost |
modeliranje |
razvoj |
primeri
Rezervirajte gradivo na želenem mestu prevzema.
Mesto prevzema |
Status gradiva | Rezervacija |
---|---|---|
Centralna tehniška knjižnica Univerze v Ljubljani |
prosto - na dom, čas izposoje: 14 dni
|
Signatura – lokacija, inventarna št. ... |
Status izvoda |
---|---|
INF-B 0000245783 Prosti pristop IN: 120230876 INF-B 245783 Prosti pristop IN: 120230876 |
prosto - na dom, čas izposoje: 14 dni
|
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 |
---|---|
Roggenbach, Markus | |
Broy, Manfred, 1949- |
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.