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

Introducing Software Verification with Dafny Language

Af: Boro Sitnikovski Engelsk Paperback
SPAR
kr 32

Introducing Software Verification with Dafny Language

Af: Boro Sitnikovski Engelsk Paperback
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny.  While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and other programming language skills. Writing correct software can be hard, so you'll learn the concept of computation and software verification. Then, apply these concepts and techniques to confidently write bug-free code that is easy to understand. Source code will be available throughout the book and freely available via GitHub. After reading and using this book you'll be able write correct, big free software source code applicable no matter which platform and programming language you use.  What You Will LearnDiscover the Microsoft Research-backed Dafny programming language Explore Hoare logic, imperative and functional programsWork with pre- and post-conditionsUse data types, pattern matching, and classesDive into verification examples for potential re-use for your own projectsWho This Book Is ForSoftware developers and programmers with at least prior, basic programming experience. No specific language needed.  It is also for those with very basic mathematical experience (function, variables).
Eksklusiv medlemspris 249 kr
Medlemspris 252 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 281 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 32 kr
Se vores konkurrenters priser her
God 15.875 anmeldelser på
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny.  While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and other programming language skills. Writing correct software can be hard, so you'll learn the concept of computation and software verification. Then, apply these concepts and techniques to confidently write bug-free code that is easy to understand. Source code will be available throughout the book and freely available via GitHub. After reading and using this book you'll be able write correct, big free software source code applicable no matter which platform and programming language you use.  What You Will LearnDiscover the Microsoft Research-backed Dafny programming language Explore Hoare logic, imperative and functional programsWork with pre- and post-conditionsUse data types, pattern matching, and classesDive into verification examples for potential re-use for your own projectsWho This Book Is ForSoftware developers and programmers with at least prior, basic programming experience. No specific language needed.  It is also for those with very basic mathematical experience (function, variables).
Produktdetaljer
Sprog: Engelsk
Sider: 131
ISBN-13: 9781484279779
Indbinding: Paperback
Udgave:
ISBN-10: 1484279778
Udg. Dato: 1 mar 2022
Længde: 0mm
Bredde: 235mm
Højde: 155mm
Forlag: APress
Oplagsdato: 1 mar 2022
Forfatter(e): Boro Sitnikovski
Forfatter(e) Boro Sitnikovski


Kategori Programmering: Microsoft


Sprog Engelsk


Indbinding Paperback


Sider 131


Udgave


Længde 0mm


Bredde 235mm


Højde 155mm


Udg. Dato 1 mar 2022


Oplagsdato 1 mar 2022

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 (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 184

kr 249
Normalpris
kr 191
Medlemspris
SPAR
kr 65
BOG (HÆFTET)
Eksklusiv medlemspris kr 191

kr 269
Normalpris
kr 199
Medlemspris
SPAR
kr 78
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

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

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

kr 199
Normalpris
kr 144
Medlemspris
SPAR
kr 61
BOG (HÆFTET)
Eksklusiv medlemspris kr 138

kr 199
Normalpris
kr 144
Medlemspris
SPAR
kr 61
BOG (HÆFTET)
Eksklusiv medlemspris kr 138

kr 199
Normalpris
kr 144
Medlemspris
SPAR
kr 61
BOG (HÆFTET)
Eksklusiv medlemspris kr 154

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

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

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

kr 199
Normalpris
kr 144
Medlemspris
SPAR
kr 61
BOG (HÆFTET)
Eksklusiv medlemspris kr 80

kr 229
Normalpris
kr 95
Medlemspris
SPAR
kr 149
BOG (INDBUNDET)
Eksklusiv medlemspris kr 179

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

kr 299
Normalpris
kr 225
Medlemspris
SPAR
kr 82
BOG (HÆFTET)
Eksklusiv medlemspris kr 334

kr 399
Normalpris
kr 341
Medlemspris
SPAR
kr 65
BOG (HÆFTET)
Eksklusiv medlemspris kr 249

kr 249
Normalpris
kr 249
Medlemspris
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 233

kr 258
Normalpris
kr 236
Medlemspris
SPAR
kr 25
BOG (PAPERBACK)
Eksklusiv medlemspris kr 298

kr 337
Normalpris
kr 302
Medlemspris
SPAR
kr 39
BOG (PAPERBACK)
Eksklusiv medlemspris kr 280

kr 292
Normalpris
kr 281
Medlemspris
SPAR
kr 12
BOG (ANDET)
Eksklusiv medlemspris kr 243

kr 281
Normalpris
kr 247
Medlemspris
SPAR
kr 38
BOG (HARDBACK)
Eksklusiv medlemspris kr 323

kr 371
Normalpris
kr 328
Medlemspris
SPAR
kr 48
BOG (HARDBACK)
Eksklusiv medlemspris kr 296

kr 326
Normalpris
kr 299
Medlemspris
SPAR
kr 30
BOG (PAPERBACK)
Eksklusiv medlemspris kr 350

kr 383
Normalpris
kr 353
Medlemspris
SPAR
kr 33
BOG (PAPERBACK)
Eksklusiv medlemspris kr 288

kr 303
Normalpris
kr 290
Medlemspris
SPAR
kr 15
BOG (PAPERBACK)
Eksklusiv medlemspris kr 367

kr 450
Normalpris
kr 375
Medlemspris
SPAR
kr 83
BOG (PAPERBACK)
Eksklusiv medlemspris kr 332

kr 360
Normalpris
kr 335
Medlemspris
SPAR
kr 28
BOG (PAPERBACK)
Eksklusiv medlemspris kr 280

kr 292
Normalpris
kr 281
Medlemspris
SPAR
kr 12
BOG (PAPERBACK)
Eksklusiv medlemspris kr 274

kr 303
Normalpris
kr 277
Medlemspris
SPAR
kr 29
BOG (PAPERBACK)
Eksklusiv medlemspris kr 242

kr 337
Normalpris
kr 252
Medlemspris
SPAR
kr 95
BOG (PAPERBACK)
Eksklusiv medlemspris kr 315

kr 337
Normalpris
kr 317
Medlemspris
SPAR
kr 22
BOG (PAPERBACK)
Eksklusiv medlemspris kr 376

kr 416
Normalpris
kr 380
Medlemspris
SPAR
kr 40
BOG (PAPERBACK)
Eksklusiv medlemspris kr 201

kr 235
Normalpris
kr 204
Medlemspris
SPAR
kr 34
BOG (PAPERBACK)
Eksklusiv medlemspris kr 288

kr 337
Normalpris
kr 293
Medlemspris
SPAR
kr 49
BOG (PAPERBACK)
Eksklusiv medlemspris kr 236

kr 326
Normalpris
kr 245
Medlemspris
SPAR
kr 90
BOG (PAPERBACK)
Eksklusiv medlemspris kr 293

kr 427
Normalpris
kr 306
Medlemspris
SPAR
kr 134
BOG (PAPERBACK)
Eksklusiv medlemspris kr 328

kr 393
Normalpris
kr 335
Medlemspris
SPAR
kr 65