Model Checking Quantum Systems: Principles and Algorithms

 

Dostępność:

Produkt niedostępny

Produkt niedostępny – produkt nie jest obecnie osiągalny u żadnego z naszych dostawców. Zawsze możliwy jest dodruk, wznowienie lub reedycja tytułu, o ile wydawca podejmie taką decyzję. Dzięki bieżącej aktualizacji naszej oferty planowana data ponownej sprzedaży takiego tytułu znajdzie się przy jego opisie.

Zamówienia:0 - 69,99 PLN>69,99 PLNCzas dostawy:
Odbiór osobisty w księgarni 0 zł0 zł1 dzień roboczy
InPost Paczkomaty 24/7 (Płatność online)4.99 zł0 zł1-2 dni robocze
InPost Paczkomaty - Paczka w Weekend (Płatność online)16.99 zł0 zł1-2 dni robocze
Poczta Polska (Płatność online)12.99 zł0 zł3-5 dni roboczych
Poczta Polska (Płatność za pobraniem)13.99 zł0 zł3-5 dni roboczych
Kurier UPS (Płatność online)4.99 zł0 zł1 dzień roboczy
Kurier UPS (Płatność za pobraniem)4.99 zł0 zł1 dzień roboczy
Wysyłka zagranicznaSprawdź szczegóły >
333,90 zł

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications.


Napisz własną recenzję
Napisz recenzję o produkcie: Model Checking Quantum Systems: Principles and Algorithms
Twoja ocena
Ocena ogólna