Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.14308 (PDF)

Name: Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.14308
Brand: Springer Nature Singapore
SKU: 151735172
Price: 62.69 EUR
Availability: OnlineOnly

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.14308".

Merken

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.

The 13 full papers presented together with 8 doctoral...

Mehr zum Inhalt Video

eBook (pdf) 62.69 €

Buch (Kartoniert) 63.79 €

sofort als Download lieferbar

Bestellnummer: 151735172

Printausgabe 63.79 €

eBook (pdf) -2% 62.69 €

Download bestellen

Verschenken

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.14308 (PDF)“

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.

The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.