000			00559nam a22001457a 4500
999			_c60904 _d60904
020			_a9783031641350 (pbk)
082			_a005.1 _bQUA
100			_aIaakov Exman _a Ricardo Pérez-Castillo _aMario Piattini _a Michael Felderer
245			_aQuantum Software: Aspects of Theory and System Design
260			_aAustria _bSpringer _c2024
300			_axvii, 355 p. _b:ill. _c ;23.5 cm.
500			_aInculdes index.
650			_aQuantum software _aSoftware engineering _vQuantum programming _vQuantum computing _vHybrid quantum _vSoftware verification _vFC
942			_cBK