Formal Methods - The Next 30 Years / Lecture Notes in Computer Science Bd.11800 (PDF)
Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.
The 44 full papers presented together with 3 invited...
The 44 full papers presented together with 3 invited...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods - The Next 30 Years / Lecture Notes in Computer Science Bd.11800 (PDF)“
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.
The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
Bibliographische Angaben
- 2019, 1st ed. 2019, 774 Seiten, Englisch
- Herausgegeben: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030309428
- ISBN-13: 9783030309428
- Erscheinungsdatum: 23.09.2019
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 35 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods - The Next 30 Years / Lecture Notes in Computer Science Bd.11800"
0 Gebrauchte Artikel zu „Formal Methods - The Next 30 Years / Lecture Notes in Computer Science Bd.11800“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods - The Next 30 Years / Lecture Notes in Computer Science Bd.11800".
Kommentar verfassen