Simon Gay – författare
Visar alla böcker från författaren Simon Gay. Handla med fri frakt och snabb leverans.
5 produkter
Semantic Techniques in Quantum Computation
Av Simon Gay, Ian Mackie
Inbunden, 2009
1200 kr
Lägg i varukorg
The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as …
Theory and Formal Methods 1993
Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993
Av Mark Ryan, Simon Gay m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The …
Theory and Formal Methods 1993
Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993
Av Geoffrey Burn, Simon Gay m. fl.
Häftad, 1993
569 kr
Lägg i varukorg
This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The …
Behavioural Types
From Theory to Tools
Häftad, 2024
549 kr
Lägg i varukorg
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, …
Behavioural Types
From Theory to Tools
Inbunden, 2017
1243 kr
Lägg i varukorg
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, …
