Kvantsüsteemide mudeli kontrollimine
Tavaline hind
€60,00
Ühiku hind
/
Ei ole saadaval
See on esimene raamat, mis tutvustab kvantsüsteemide arvutipõhiseid verifitseerimistehnikaid, sealhulgas kvantarvutuse ja kommunikatsiooni riist- ja tarkvara. Lõpetajad ja bakalaureuseõppe üliõpilased hindavad lisatud näiteid ja harjutusi, samas kui seotud valdkondade teadlased ja insenerid saavad neid tehnikaid oma töös kasutada.
Kvantsüsteemide mudeli kontrollimine