Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Designing Reliable Distributed Systems
Af: Peter Csaba Olveczky Engelsk Paperback
SPAR
kr 150
Designing Reliable Distributed Systems
Af: Peter Csaba Olveczky Engelsk Paperback
This book introduces formal modeling and analysis of distributed systems by means of executable formal modeling in rewriting logic and model checking analyses in the tool Maude. The first part of the book introduces “classical” equational algebraic specification and term rewrite systems, including reasoning about confluence and termination, as well as equational logic. The second part introduces rewriting logic and deals with the executable formal modeling of distributed systems. The book develops executable formal Maude models of classic distributed systems, which are then simulated and are further analysed through reachability analysis in Maude. In particular, the book shows how Maude can be used to break the Needham-Schroeder Public Key cryptographic protocol. Finally, the book introduces (linear) temporal logic that can be used to express complex requirements that distributed systems must satisfy and it uses Maude LTL model checker to analyze whether our models satisfy desired temporal properties.
Kampagne pris 525 kr
Medlemspris 540 kr
Kampagnepris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til medlems- og kampagnepris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
5 - 7 hverdage
10 kr
Lavt pakkegebyr
Normalpris 675 kr
Fragt: 59 kr
7 - 10 hverdage
20 kr
Pakkegebyr
Spar 150 kr
Se vores konkurrenters priser her
God 15.807 anmeldelser på
This book introduces formal modeling and analysis of distributed systems by means of executable formal modeling in rewriting logic and model checking analyses in the tool Maude. The first part of the book introduces “classical” equational algebraic specification and term rewrite systems, including reasoning about confluence and termination, as well as equational logic. The second part introduces rewriting logic and deals with the executable formal modeling of distributed systems. The book develops executable formal Maude models of classic distributed systems, which are then simulated and are further analysed through reachability analysis in Maude. In particular, the book shows how Maude can be used to break the Needham-Schroeder Public Key cryptographic protocol. Finally, the book introduces (linear) temporal logic that can be used to express complex requirements that distributed systems must satisfy and it uses Maude LTL model checker to analyze whether our models satisfy desired temporal properties.
Produktdetaljer
Sprog: Engelsk
Sider: 313
ISBN-13: 9781447166863
Indbinding: Paperback
Udgave:
ISBN-10: 1447166868
Udg. Dato: 22 feb 2018
Længde: 18mm
Bredde: 159mm
Højde: 238mm
Oplagsdato: 22 feb 2018
Forfatter(e): Peter Csaba Olveczky
Forfatter(e) Peter Csaba Olveczky


Kategori 3D-grafik og modellering


Sprog Engelsk


Indbinding Paperback


Sider 313


Udgave


Længde 18mm


Bredde 159mm


Højde 238mm

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Kampagne pris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Kampagne pris kr 859

kr 1.499
Normalpris
kr 923
Medlemspris
SPAR
kr 640
BOG (INDBUNDET)
Kampagne pris kr 240

kr 349
Normalpris
kr 251
Medlemspris
SPAR
kr 109
BOG (INDBUNDET)
Kampagne pris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (HÆFTET)
Kampagne pris kr 207

kr 269
Normalpris
kr 213
Medlemspris
SPAR
kr 62
BOG (INDBUNDET)
Kampagne pris kr 118

kr 149
Normalpris
kr 121
Medlemspris
SPAR
kr 31
BOG (INDBUNDET)
Kampagne pris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Kampagne pris kr 194

kr 270
Normalpris
kr 202
Medlemspris
SPAR
kr 76
BOG (INDBUNDET)
Kampagne pris kr 59

kr 149
Normalpris
kr 68
Medlemspris
SPAR
kr 90
BOG (HÆFTET)
Kampagne pris kr 202

kr 279
Normalpris
kr 210
Medlemspris
SPAR
kr 77
BOG (INDBUNDET)
Kampagne pris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (HÆFTET)
Kampagne pris kr 229

kr 329
Normalpris
kr 239
Medlemspris
SPAR
kr 100
BOG (HÆFTET)
Kampagne pris kr 199

kr 269
Normalpris
kr 206
Medlemspris
SPAR
kr 70
BOG (INDBUNDET)
Kampagne pris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (HÆFTET)
Kampagne pris kr 152

kr 199
Normalpris
kr 157
Medlemspris
SPAR
kr 47
BOG (INDBUNDET)
Kampagne pris kr 209

kr 249
Normalpris
kr 213
Medlemspris
SPAR
kr 40
BOG (HÆFTET)
Kampagne pris kr 197

kr 249
Normalpris
kr 202
Medlemspris
SPAR
kr 52
BOG (HÆFTET)
Kampagne pris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (INDBUNDET)
Kampagne pris kr 229

kr 299
Normalpris
kr 236
Medlemspris
SPAR
kr 70
BOG (HÆFTET)
Kampagne pris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
Vi anbefaler også
BOG (PAPERBACK)
Kampagne pris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Kampagne pris kr 485

kr 619
Normalpris
kr 498
Medlemspris
SPAR
kr 134
BOG (PAPERBACK)
Kampagne pris kr 365

kr 450
Normalpris
kr 374
Medlemspris
SPAR
kr 85
BOG (PAPERBACK)
Kampagne pris kr 404

kr 506
Normalpris
kr 414
Medlemspris
SPAR
kr 102
BOG (PAPERBACK)
Kampagne pris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (HARDBACK)
Kampagne pris kr 761

kr 1.014
Normalpris
kr 786
Medlemspris
SPAR
kr 253
BOG (HARDBACK)
Kampagne pris kr 925

kr 1.126
Normalpris
kr 945
Medlemspris
SPAR
kr 201
BOG (PAPERBACK)
Kampagne pris kr 483

kr 619
Normalpris
kr 497
Medlemspris
SPAR
kr 136
BOG (PAPERBACK)
Kampagne pris kr 446

kr 563
Normalpris
kr 458
Medlemspris
SPAR
kr 117
BOG (PAPERBACK)
Kampagne pris kr 446

kr 563
Normalpris
kr 458
Medlemspris
SPAR
kr 117
BOG (PAPERBACK)
Kampagne pris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Kampagne pris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Kampagne pris kr 404

kr 506
Normalpris
kr 414
Medlemspris
SPAR
kr 102
BOG (HARDBACK)
Kampagne pris kr 513

kr 596
Normalpris
kr 521
Medlemspris
SPAR
kr 83
BOG (HARDBACK)
Kampagne pris kr 564

kr 732
Normalpris
kr 581
Medlemspris
SPAR
kr 168
BOG (PAPERBACK)
Kampagne pris kr 575

kr 675
Normalpris
kr 585
Medlemspris
SPAR
kr 100
BOG (PAPERBACK)
Kampagne pris kr 525

kr 675
Normalpris
kr 540
Medlemspris
SPAR
kr 150
BOG (PAPERBACK)
Kampagne pris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Kampagne pris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (HARDBACK)
Kampagne pris kr 710

kr 850
Normalpris
kr 724
Medlemspris
SPAR
kr 140