Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Uloženo v:
Další autoři: |
Margaria, Tiziana
(Editor) Steffen, Bernhard (Editor) |
---|---|
Korporace: |
SpringerLink (online služba)
|
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin ; Heidelberg :
Springer Berlin Heidelberg,
2010
|
Edice: | Lecture Notes in Computer Science
|
Žánr/forma: | elektronické knihy |
ISBN: | 978-3-642-16558-0 9783642165573 |
Témata: | |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|