Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Engelsk Paperback
SPAR
kr 99
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Engelsk Paperback

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.

The papers presented were carefully reviewed and selected for inclusion in the proceedings.

Each volume focusses on an individual topic with topical section headings within the volume:

Part I, Verification Principles:
Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.

Part II, Engineering Principles:
Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.

Part III, Applications:
Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

 

 

Eksklusiv medlemspris 407 kr
Medlemspris 417 kr
Eksklusiv medlemspris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til eksklusiv medlemspris eller medlemspris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
23 - 25 hverdage
10 kr
Lavt pakkegebyr
Normalpris 506 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 99 kr
Se vores konkurrenters priser her
God 15.866 anmeldelser på

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.

The papers presented were carefully reviewed and selected for inclusion in the proceedings.

Each volume focusses on an individual topic with topical section headings within the volume:

Part I, Verification Principles:
Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.

Part II, Engineering Principles:
Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.

Part III, Applications:
Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

 

 

Produktdetaljer
Sprog: Engelsk
Sider: 544
ISBN-13: 9783030614690
Indbinding: Paperback
Udgave:
ISBN-10: 3030614697
Kategori: Softwareudvikling
Udg. Dato: 27 okt 2020
Længde: 0mm
Bredde: 235mm
Højde: 155mm
Oplagsdato: 27 okt 2020
Forfatter(e):
Forfatter(e)


Kategori Softwareudvikling


Sprog Engelsk


Indbinding Paperback


Sider 544


Udgave


Længde 0mm


Bredde 235mm


Højde 155mm


Udg. Dato 27 okt 2020


Oplagsdato 27 okt 2020

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (HÆFTET)
Eksklusiv medlemspris kr 200

kr 280
Normalpris
kr 208
Medlemspris
SPAR
kr 80
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 320
Normalpris
kr 211
Medlemspris
SPAR
kr 121
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (HÆFTET)
Eksklusiv medlemspris kr 188

kr 269
Normalpris
kr 196
Medlemspris
SPAR
kr 81
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (HÆFTET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (INDBUNDET)
Eksklusiv medlemspris kr 183

kr 270
Normalpris
kr 192
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (INDBUNDET)
Eksklusiv medlemspris kr 220

kr 320
Normalpris
kr 230
Medlemspris
SPAR
kr 100
BOG (HARDBACK)
Eksklusiv medlemspris kr 25

kr 227
Normalpris
kr 45
Medlemspris
SPAR
kr 202
BOG (HÆFTET)
Eksklusiv medlemspris kr 154

kr 229
Normalpris
kr 162
Medlemspris
SPAR
kr 75
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 179

kr 249
Normalpris
kr 186
Medlemspris
SPAR
kr 70
BOG (HÆFTET)
Eksklusiv medlemspris kr 149

kr 249
Normalpris
kr 159
Medlemspris
SPAR
kr 100
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
LYDBOG
Eksklusiv medlemspris kr 95

kr 129
Normalpris
kr 98
Medlemspris
SPAR
kr 34
BOG (HÆFTET)
Eksklusiv medlemspris kr 297

kr 350
Normalpris
kr 302
Medlemspris
SPAR
kr 53
BOG (HÆFTET)
Eksklusiv medlemspris kr 164

kr 199
Normalpris
kr 168
Medlemspris
SPAR
kr 35
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 328

kr 393
Normalpris
kr 335
Medlemspris
SPAR
kr 65
BOG (PAPERBACK)
Eksklusiv medlemspris kr 328

kr 393
Normalpris
kr 335
Medlemspris
SPAR
kr 65
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 328

kr 393
Normalpris
kr 335
Medlemspris
SPAR
kr 65
BOG (PAPERBACK)
Eksklusiv medlemspris kr 328

kr 393
Normalpris
kr 335
Medlemspris
SPAR
kr 65
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99