Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Lecture Notes in Computer Science Bd.11247 (PDF)

Name: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Lecture Notes in Computer Science Bd.11247
Brand: Springer-Verlag GmbH
SKU: 108034513
Price: 53.49 EUR
Availability: OnlineOnly

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Lecture Notes in Computer Science Bd.11247".

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Lecture Notes in Computer Science Bd.11247

Merken

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in...

Mehr zum Inhalt Video

eBook (pdf) 53.49 €

Buch (Kartoniert) 53.49 €

sofort als Download lieferbar

Bestellnummer: 108034513

eBook (pdf) 53.49 €

Download bestellen

Verschenken

26 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Lecture Notes in Computer Science Bd.11247 (PDF)“

The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.
Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

2018, 1st ed. 2018, 530 Seiten, Englisch
Herausgegeben: Tiziana Margaria, Bernhard Steffen
Verlag: Springer-Verlag GmbH
ISBN-10: 3030034275
ISBN-13: 9783030034276
Erscheinungsdatum: 29.10.2018

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

eBook Informationen

Dateiformat: PDF
Größe: 31 MB
Ohne Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Kommentar zu "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Lecture Notes in Computer Science Bd.11247"

Schreiben Sie einen Kommentar zu "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Lecture Notes in Computer Science Bd.11247".

Wie funktionieren Bewertungen?

0 Gebrauchte Artikel zu „Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice / Lecture Notes in Computer Science Bd.11247“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating