Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10487 (PDF)
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
(Sprache: Englisch)
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.
The 14 full papers presented were carefully reviewed...
The 14 full papers presented were carefully reviewed...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10487 (PDF)“
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.
The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Bibliographische Angaben
- 2017, 1st ed. 2017, 251 Seiten, Englisch
- Herausgegeben: José Proença, Markus Lumpe
- Verlag: Springer-Verlag GmbH
- ISBN-10: 331968034X
- ISBN-13: 9783319680347
- Erscheinungsdatum: 20.09.2017
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10487"
0 Gebrauchte Artikel zu „Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10487“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10487".
Kommentar verfassen