Semantic Techniques in Quantum Computation - Rilegato

 
9780521513746: Semantic Techniques in Quantum Computation

Sinossi

Explores quantum computation from the perspective of the branch of theoretical computer science known as semantics.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sugli autori

Simon Gay is a Senior Lecturer in the Department of Computing Science at the University of Glasgow. Prior to taking his current position, he worked as a research associate at Imperial College London, where he also earned his PhD in computer science, and as a lecturer at Royal Holloway, University of London.

Ian Mackie earned his MSc and PhD degrees in computer science at Imperial College London. He is editor-in-chief of an undergraduate textbook series and co-author of an advanced textbook on proof theory and automated deduction.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.