TY - BOOK AU - Iaakov Exman TI - Quantum Software: Aspects of Theory and System Design SN - 9783031641350 (pbk) U1 - 005.1 PY - 2024/// CY - Austria PB - Springer KW - Quantum software KW - Software engineering KW - Quantum programming KW - Quantum computing KW - Hybrid quantum KW - Software verification KW - FC N1 - Inculdes index. ER -