Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.11232 (PDF)
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.11232 (PDF)“
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions.
The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
Bibliographische Angaben
- 2018, 1st ed. 2018, 474 Seiten, Englisch
- Herausgegeben: Jing Sun, Meng Sun
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030024504
- ISBN-13: 9783030024505
- Erscheinungsdatum: 05.11.2018
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 16 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.11232"
Schreiben Sie einen Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.11232".
Kommentar verfassen