Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10231 (PDF)

Name: Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10231
Brand: Springer-Verlag GmbH
SKU: 100646253
Price: 59.00 CHF
Availability: OnlineOnly

13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10231".

Merken

This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.

The 11 full papers presented together with one tool...

Mehr zum Inhalt Video

eBook (pdf) Fr. 59.00

Buch (Kartoniert) Fr. 59.00

sofort als Download lieferbar

Bestellnummer: 100646253

eBook (pdf) Fr. 59.00

inkl. MwSt.

Download bestellen

Verschenken

Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10231 (PDF)“

This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.

The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed and selected from 27 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.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

2017, 1st ed. 2017, 281 Seiten, Englisch
Herausgegeben: Olga Kouchnarenko, Ramtin Khosravi
Verlag: Springer-Verlag GmbH
ISBN-10: 3319576666
ISBN-13: 9783319576664
Erscheinungsdatum: 11.04.2017

Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Grösse: 16 MB
Ohne Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Kommentar zu "Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10231"

Schreiben Sie einen Kommentar zu "Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10231".

0 Gebrauchte Artikel zu „Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.10231“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating