Foundations of quantum programming :
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam :
Morgan Kaufmann is an imprint of Elsevier,
c2016.
|
| Subjects: | |
| Online Access: | Para acceder al texto completo, ingrese aquí al Servicio de descubrimiento de EBSCOhost desde la red de la UNQ. Seleccione EBSCOhost Research Databases y busque el título deseado. Para acceder al material de estudio haga click aquí |
Table of Contents:
- Preface
- Acknowledgments
- Part I: Introduction and preliminaries
- Chapter 1: Introduction
- Chapter 2: Preliminaries
- Part II: Quantum programs with classical control
- Chapter 3: Syntax and semantics of quantum programs
- Chapter 4: Logic for quantum programs
- Chapter 5: Analysis of quantum programs
- Part III: Quantum programs with quantum control
- Chapter 6: Quantum case statements
- Chapter 7: Quantum recursion
- Part IV: Prospects
- Chapter 8: Prospects.