Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Concise Guide to Software Verification
Af: Marieke Huisman, Anton Wijs Engelsk Hardback
SPAR
kr 184
Concise Guide to Software Verification
Af: Marieke Huisman, Anton Wijs Engelsk Hardback
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum:  from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process. Topics and features:Covers a broad spectrum of software verification techniques, from model checking to annotation checkingProvides numerous examples to demonstrate the techniquesFocuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implementedExplainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practiceThis unique textbook has been written primarily for master’s level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software.
Eksklusiv medlemspris 604 kr
Medlemspris 622 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 788 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 184 kr
Se vores konkurrenters priser her
God 15.826 anmeldelser på
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum:  from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process. Topics and features:Covers a broad spectrum of software verification techniques, from model checking to annotation checkingProvides numerous examples to demonstrate the techniquesFocuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implementedExplainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practiceThis unique textbook has been written primarily for master’s level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software.
Produktdetaljer
Sprog: Engelsk
Sider: 248
ISBN-13: 9783031301667
Indbinding: Hardback
Udgave:
ISBN-10: 3031301668
Kategori: Softwaretestning
Udg. Dato: 25 jul 2023
Længde: 0mm
Bredde: 235mm
Højde: 155mm
Oplagsdato: 25 jul 2023
Forfatter(e): Marieke Huisman, Anton Wijs
Forfatter(e) Marieke Huisman, Anton Wijs


Kategori Softwaretestning


Sprog Engelsk


Indbinding Hardback


Sider 248


Udgave


Længde 0mm


Bredde 235mm


Højde 155mm

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

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

kr 1.499
Normalpris
kr 923
Medlemspris
SPAR
kr 640
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

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

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

kr 270
Normalpris
kr 180
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (HÆFTET)
Eksklusiv medlemspris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (INDBUNDET)
Eksklusiv medlemspris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (HÆFTET)
Eksklusiv medlemspris kr 185

kr 220
Normalpris
kr 189
Medlemspris
SPAR
kr 35
BOG (PAPERBACK)
Eksklusiv medlemspris kr 165

kr 198
Normalpris
kr 168
Medlemspris
SPAR
kr 33
BOG (INDBUNDET)
Eksklusiv medlemspris kr 175

kr 299
Normalpris
kr 187
Medlemspris
SPAR
kr 124
BOG (HÆFTET)
Eksklusiv medlemspris kr 27

kr 227
Normalpris
kr 47
Medlemspris
SPAR
kr 200
BOG (INDBUNDET)
Eksklusiv medlemspris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (HARDBACK)
Eksklusiv medlemspris kr 223

kr 299
Normalpris
kr 231
Medlemspris
SPAR
kr 76
BOG (HÆFTET)
Eksklusiv medlemspris kr 275

kr 320
Normalpris
kr 280
Medlemspris
SPAR
kr 45
BOG (PAPERBACK)
Eksklusiv medlemspris kr 84

kr 90
Normalpris
kr 85
Medlemspris
SPAR
kr 6
BOG (INDBUNDET)
Eksklusiv medlemspris kr 150

kr 199
Normalpris
kr 155
Medlemspris
SPAR
kr 49
BOG (INDBUNDET)
Eksklusiv medlemspris kr 240

kr 349
Normalpris
kr 251
Medlemspris
SPAR
kr 109
BOG (INDBUNDET)
Eksklusiv medlemspris kr 118

kr 129
Normalpris
kr 119
Medlemspris
SPAR
kr 11
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 404

kr 506
Normalpris
kr 414
Medlemspris
SPAR
kr 102
BOG (HARDBACK)
Eksklusiv medlemspris kr 551

kr 641
Normalpris
kr 560
Medlemspris
SPAR
kr 90
BOG (HARDBACK)
Eksklusiv medlemspris kr 779

kr 938
Normalpris
kr 795
Medlemspris
SPAR
kr 159
BOG (HARDBACK)
Eksklusiv medlemspris kr 842

kr 1.059
Normalpris
kr 864
Medlemspris
SPAR
kr 217
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 643

kr 844
Normalpris
kr 663
Medlemspris
SPAR
kr 201
BOG (PAPERBACK)
Eksklusiv medlemspris kr 446

kr 563
Normalpris
kr 458
Medlemspris
SPAR
kr 117
BOG (PAPERBACK)
Eksklusiv medlemspris kr 564

kr 662
Normalpris
kr 574
Medlemspris
SPAR
kr 98
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

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

kr 506
Normalpris
kr 414
Medlemspris
SPAR
kr 102
BOG (HARDBACK)
Eksklusiv medlemspris kr 542

kr 596
Normalpris
kr 547
Medlemspris
SPAR
kr 54
BOG (PAPERBACK)
Eksklusiv medlemspris kr 404

kr 506
Normalpris
kr 414
Medlemspris
SPAR
kr 102
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

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

kr 641
Normalpris
kr 558
Medlemspris
SPAR
kr 92
BOG (PAPERBACK)
Eksklusiv medlemspris kr 761

kr 1.014
Normalpris
kr 786
Medlemspris
SPAR
kr 253
BOG (PAPERBACK)
Eksklusiv medlemspris kr 826

kr 1.038
Normalpris
kr 847
Medlemspris
SPAR
kr 212
BOG (HARDBACK)
Eksklusiv medlemspris kr 436

kr 496
Normalpris
kr 442
Medlemspris
SPAR
kr 60