-
Formal methods and software engineering [Elektronski vir] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedingsInternational Conference on Formal Engineering Methods (12th ; 2010 ; Shanghai, China)Annotation. This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full ... papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.Vrsta gradiva - e-knjigaZaložništvo in izdelava - Berlin : Springer, 2010Jezik - angleškiISBN - 978-3-642-16901-4; 3-642-16901-5COBISS.SI-ID - 1543069663
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 Conference on Formal Engineering Methods
Drugi avtorji
Dong, Jin Song, 1967- |
Zhu, Huibiao
Zbirka
Lecture notes in computer science
Teme
Formal methods (Computer science) |
Congresses |
Software engineering |
Congresses |
Formal methods (Computer science) |
Software engineering |
Informatique |
Softwareentwicklung |
Formale Methode |
Entscheidungsverfahren |
Programmverifikation |
Programmanalyse |
Programmtest |
Model Checking |
Serviceorientierte Architektur |
Web Services |
Leistungsbewertung |
Schanghai <2010> |
Electronic books |
Conference proceedings
![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.