Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv

Tools and Algorithms for the Construction and Analysis of Systems

Engelsk Paperback
SPAR
kr 99

Tools and Algorithms for the Construction and Analysis of Systems

Engelsk Paperback

This book is Open Access under a CC BY licence.

The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.


Eksklusiv medlemspris 407 kr
Medlemspris 417 kr
Denne pris er kun for medlemmer. Du bliver automatisk medlem når du køber til denne pris. Prøv 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.879 anmeldelser på

This book is Open Access under a CC BY licence.

The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.


Produktdetaljer
Sprog: Engelsk
Sider: 433
ISBN-13: 9783030174613
Indbinding: Paperback
Udgave:
ISBN-10: 3030174611
Kategori: Softwareudvikling
Udg. Dato: 4 apr 2019
Længde: 0mm
Bredde: 235mm
Højde: 155mm
Forlag: Springer Nature Switzerland AG
Oplagsdato: 4 apr 2019
Forfatter(e):
Forfatter(e)


Kategori Softwareudvikling


Sprog Engelsk


Indbinding Paperback


Sider 433


Udgave


Længde 0mm


Bredde 235mm


Højde 155mm


Udg. Dato 4 apr 2019


Oplagsdato 4 apr 2019

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

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

kr 280
Normalpris
kr 208
Medlemspris
SPAR
kr 80
BOG (HÆFTET)
Eksklusiv medlemspris kr 184

kr 249
Normalpris
kr 191
Medlemspris
SPAR
kr 65
BOG (INDBUNDET)
Eksklusiv medlemspris kr 208

kr 299
Normalpris
kr 217
Medlemspris
SPAR
kr 91
BOG (HÆFTET)
Eksklusiv medlemspris kr 172

kr 249
Normalpris
kr 180
Medlemspris
SPAR
kr 77
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

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

kr 250
Normalpris
kr 189
Medlemspris
SPAR
kr 68
BOG (INDBUNDET)
Eksklusiv medlemspris kr 167

kr 250
Normalpris
kr 175
Medlemspris
SPAR
kr 83
BOG (HÆFTET)
Eksklusiv medlemspris kr 249

kr 249
Normalpris
kr 249
Medlemspris
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 299
Normalpris
kr 223
Medlemspris
SPAR
kr 85
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 (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 279
Normalpris
kr 207
Medlemspris
SPAR
kr 80
BOG (FYSISK BOG)
Eksklusiv medlemspris kr 200

kr 200
Normalpris
kr 200
Medlemspris
BOG (INDBUNDET)
Eksklusiv medlemspris kr 178

kr 270
Normalpris
kr 187
Medlemspris
SPAR
kr 92
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 170

kr 270
Normalpris
kr 180
Medlemspris
SPAR
kr 100
BOG (PAPERBACK)
Eksklusiv medlemspris kr 115

kr 119
Normalpris
kr 115
Medlemspris
SPAR
kr 4
BOG (INDBUNDET)
Eksklusiv medlemspris kr 270

kr 399
Normalpris
kr 283
Medlemspris
SPAR
kr 129