-
Formal aspects of component software [Elektronski vir] : 7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papersInternational Workshop on Formal Aspects of Component Software (7th ; 2010 ; Guimarães, Portugal)This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers ... and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeedVrsta gradiva - e-knjigaZaložništvo in izdelava - Heidelberg ; New York : Springer, cop. 2012Jezik - angleškiISBN - 978-3-642-27269-1; 3-642-27269-XCOBISS.SI-ID - 1545591007
Povezava(-e):
SpringerLink e-books 2008-2012Celotno besedilo dostopno za uporabnike SpringerLink slovenskega konzorcija neprofitnih institucij
Full text accessible to the users of SpringerLink Slovenian Consortium of Non-Profit Institutions
DOI
Avtor
International Workshop on Formal Aspects of Component Software
Drugi avtorji
Barbosa, Luis Soares |
Lumpe, Markus
Zbirka
Lecture notes in computer science
Teme
Formal methods (Computer science) |
Congresses |
Component software |
Congresses |
Computer science |
Computer Communication Networks |
Software engineering |
Logic design |
Computer Science |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
Programming Techniques |
Informatique |
Electronic books
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 |
|---|
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.