Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as...

Celý popis

Uloženo v:
Podrobná bibliografie
Další autoři: Păsăreanu, Corina S (Editor)
Salaün, Gwen (Editor)
Korporace: SpringerLink (online služba)  
Médium: E-kniha
Jazyk:angličtina
Vydáno: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2013
Edice:Programming and Software Engineering
Žánr/forma:elektronické knihy
ISBN:978-3-642-35861-6
9783642358623
9783642358609
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka

Internet

Plný text
Stav Dílčí knihovna Popis Umístění LCC signatura Stará signatura