Formal Methods. FM 2019 International Workshops

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
597,95 kr.

Bag om Formal Methods. FM 2019 International Workshops

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;

Vis mere

Sprog:
Engelsk

ISBN:
9783030549961

Forlag:
Springer Nature Switzerland AG

Indbinding:
Paperback

Sideantal:
575

Udgivet:
11. august 2020

Udgave:
12020

Størrelse:
155x235x0 mm.

Vægt:
902 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 2. december 2024

På lager

Normalpris

BLACK NOVEMBER
597,95 kr. + Fragt
~~597,95 kr.~~

Medlemspris

547,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Formal Methods. FM 2019 International Workshops

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;

Brugerbedømmelser af Formal Methods. FM 2019 International Workshops

Andre købte også..

Find lignende bøger

Bogen Formal Methods. FM 2019 International Workshops findes i følgende kategorier:

Business og læring > Computer og IT

Formal Methods. FM 2019 International Workshops - Bog

Beskrivelse af Formal Methods. FM 2019 International Workshops

Brugerbedømmelser af Formal Methods. FM 2019 International Workshops

Gør som tusindvis af andre bogelskere