Taschenbuch
Versandfertig in 1-2 Wochen
50,00 €

Über Formal Methods – The Next 30 Years

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.

Sprache:
Englisch

ISBN:
9783030309411

Verlag:
Springer Nature Switzerland AG

Einband:
Taschenbuch

Seitenzahl:
774

Veröffentlicht:
15. September 2019

Ausgabe:
12019

Abmessungen:
155x235x0 mm.

Gewicht:
1199 g.

50,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Beschreibung von Formal Methods – The Next 30 Years

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.

Kund*innenbewertungen von Formal Methods – The Next 30 Years

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Formal Methods – The Next 30 Years ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Formal Methods – The Next 30 Years

Beschreibung von Formal Methods – The Next 30 Years

Kund*innenbewertungen von Formal Methods – The Next 30 Years

Willkommen bei den Tales Buchfreunden und -freundinnen