Foundations of Quantum Programming

Foundations of Quantum Programming, andra upplagan, erbjuder en grundlig och systematisk genomgång av kvantprogrammeringens värld. Boken lägger särskild vikt vid de grundläggande koncepten, metoderna och teknikerna som är tillämpliga på olika modeller och språk för kvantprogrammering. Den utforskar hur traditionella programmeringsmetoder kan anpassas för att fungera med kvantdatorer samtidigt som den introducerar nya tillvägagångssätt som utnyttjar kvantdatorernas unika kapacitet på ett effektivt sätt.

I bokens innehåll presenteras även en rad olika programmeringsmodeller inom kvantberäkning, från sekventiell till parallell och distribuerad programmering. Här diskuteras paradigmskiften från superposition av data till superposition av program. Avslutningsvis får läsaren ta del av avancerade logiska och matematiska verktyg som används för verifiering och analys av kvanttillämpningar — inklusive generering av invarianta uttryck, analys av programavslut samt abstrakt tolkning. Med sina 472 sidor är detta en omfattande resurs utgiven på engelska hos Elsevier Science & Technology under våren 2024.