Formal Aspects of Component Software
7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
(Sprache: Englisch)
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010.The 13 full papers and 4 short papers presented together with 1 panel discussion...
Leider schon ausverkauft
versandkostenfrei
Buch
65.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Formal Aspects of Component Software “
Klappentext zu „Formal Aspects of Component Software “
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010.The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
Bibliographische Angaben
- 2012, 2012., 305 Seiten, 79 Schwarz-Weiß-Abbildungen, Maße: 15,9 x 24,4 cm, Kartoniert (TB), Englisch
- Herausgegeben: Luis Soares Barbosa, Markus Lumpe
- Verlag: Springer
- ISBN-10: 3642272681
- ISBN-13: 9783642272684
Sprache:
Englisch
Kommentar zu "Formal Aspects of Component Software"
Schreiben Sie einen Kommentar zu "Formal Aspects of Component Software".
Kommentar verfassen