• Model checking quantum systems
  • Beschreibung

Treffer: Model checking quantum systems

Titel:
Model checking quantum systems : principles and algorithms / Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney
Beteiligt:
Ying, Mingsheng (Verfasser) ; Feng, Yuan (Verfasser$4) 
Veröffent­licht:
Cambridge : Cambridge University Press, 2021
Vertrieb:
Cambridge, UK : Cambridge University Press
Umfang:
1 Online-Ressource (xi, 209 pages)
Format:
E-Book
Sprache:
Englisch
Anmerkungen:
Title from publisher's bibliographic system (viewed on 15 Jan 2021)
RVK-Notation:
ST 152
ISBN:
9781108613323 ; 9781108484305 (Sekundärausgabe)

Zusatz-Informationen

Zusatz-Funktionen