-
System specification and design languages [Elektronski vir] : selected contributions from FDL 2010Annotation. This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference FDL, which was held in Southampton, UK ... in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.Vrsta gradiva - e-knjigaZaložništvo in izdelava - New York, NY : Springer, ©2012Jezik - angleškiISBN - 978-1-4614-1427-8; 1-4614-1427-X; 1-4614-1426-1; 978-1-4614-1426-1COBISS.SI-ID - 1544631519
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
Drugi avtorji
Kaźmierski, Thomas J. |
Morawiec, Adam
Zbirka
Lecture notes in electrical engineering
Teme
Formal methods (Computer science) |
Congresses |
Software engineering |
Congresses |
Computer software |
Verification |
Congresses |
Software architecture |
Congresses |
Ingénierie |
Computer software |
Verification |
Formal methods (Computer science) |
Software architecture |
Software engineering |
Computer Hardware Description Languages |
Integrated Circuits |
Very Large Scale Integration |
Electronic books |
Conference proceedings |
Electronic books
![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 |
---|
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.