Quantum logics for expressing and proving the correctness of quantum programs
Jort Bergfeld
Quantum logics for expressing and proving the correctness of quantum programs
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789402814675
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Fundamentele wiskunde 921
NUR (alle)921 Fundamentele wiskunde
Medewerkers
Auteur A01Jort Bergfeld
Herkomst
Werk-id (NSTC)500341850
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 500341850 · CB-relatie 7656783 · Bijgewerkt 6 augustus 2026