SULJE VALIKKO
KIRJAUDU
FORMAL METHODS AND SOFTWARE ENGINEERING - 13TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2011, DURHAM, UK, O | ||
| Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, O 49,60 € Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Sivumäärä: 670 sivua Asu: Pehmeäkantinen kirja Painos: 2011 Julkaisuvuosi: 2011, 12.10.2011 (lisätietoa) Kieli: Englanti This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783642245589 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |