0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Behavioural Types: from Theory to Tools (Hardcover): Simon Gay, Antonio Ravara Behavioural Types: from Theory to Tools (Hardcover)
Simon Gay, Antonio Ravara
R2,574 Discovery Miles 25 740 Ships in 12 - 19 working days

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, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

Theory and Formal Methods 1993 - Proceedings of the First Imperial College Department of Computing Workshop on Theory and... 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 (Paperback, Softcover reprint of the original 1st ed. 1993)
Geoffrey Burn, Simon Gay, Mark Ryan
R1,544 Discovery Miles 15 440 Ships in 10 - 15 working days

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 papers fall into four broad areas: * semantics * concurrency * logic * specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.

Semantic Techniques in Quantum Computation (Hardcover, New): Simon Gay, Ian Mackie Semantic Techniques in Quantum Computation (Hardcover, New)
Simon Gay, Ian Mackie
R2,794 R2,556 Discovery Miles 25 560 Save R238 (9%) Ships in 12 - 19 working days

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 semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Men and Abortion - Lessons, Losses, and…
Gary McLouth, Arthur B Shostak Hardcover R2,818 Discovery Miles 28 180
First Things - a Series of Lectures of…
Gardiner Spring Paperback R603 Discovery Miles 6 030
Who Decides? - The Abortion Rights of…
J. Shoshanna Ehrlich Hardcover R1,957 Discovery Miles 19 570
This Will Not Pass - Trump, Biden, And…
Jonathan Martin, Alexander Burns Hardcover R782 R699 Discovery Miles 6 990
Adversarial Robustness for Machine…
Pin-Yu Chen, Cho-Jui Hsieh Paperback R2,339 Discovery Miles 23 390
Does the Pro-Life Worldview Make Sense…
Stephen. Kershnar Paperback R1,407 Discovery Miles 14 070
Killing Karoline - A Memoir
Sara-Jayne King Paperback  (1)
R314 Discovery Miles 3 140
The Industries of Scotland - Their Rise…
David Bremner Paperback R715 Discovery Miles 7 150
Roe v. Wade - The Untold Story of the…
Marian Faux Paperback R540 Discovery Miles 5 400
Shakespeare's History of King Henry the…
William Shakespeare Hardcover R776 R704 Discovery Miles 7 040

 

Partners