We a good story
Quick delivery in the UK

Books in the Cambridge Tracts in Theoretical Computer Science series

Filter
Filter
Sort bySort Series order
  •  
    £79.49

    This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes (ACS).

  • by Marianne (University of Illinois Winslett
    £35.49

    This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database?

  • by Peter D. (Aarhus Universitet Mosses
    £48.99

    Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.

  • - Interactive Proof with Cambridge LCF
    by Lawrence C. (University of Cambridge) Paulson
    £47.49

    A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

  • by Roberto M. (Universite de Provence) Amadio, Paris) Curien & Pierre-Louis (Ecole Normale Superieure
    £50.99 - 123.99

    This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

  • - Introduction to Compositional and Non-compositional Methods
    by Enschede, Willem-Paul de Roever, Frank de Boer, et al.
    £66.99 - 204.99

    This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

  • by T. F. (University of Glasgow) Melham
    £35.49 - 85.99

    This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.

  • by Subrata (University of Southwestern Louisiana) Dasgupta
    £59.99 - 138.99

    The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The question is whether we can construct a theory of design.

  • - Three Views of Concurrent Processes and their Relationship
    by Germany) Olderog & E. -R. (Carl V. Ossietzky Universitat Oldenburg
    £40.99 - 96.99

    The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.

  • by Denmark) Nielson, Flemming (Aarhus Universitet & Hanne Riis (Aarhus Universitet
    £45.49 - 111.99

    The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.

  • by Swansea) Hindley & J. Roger (University of Wales
    £35.49 - 89.49

    This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

  • by A. S. Troelstra & H. Schwichtenberg
    £42.99

    This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

  • - The Logic of Distributed Systems
    by Jon Barwise & Jerry Seligman
    £50.99 - 61.49

    Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science and philosophy, this book addresses the definition and place of information in society. The authors, observing that information flow is possible only within a connected distribution system, provide a mathematically rigorous, philosophically sound foundation for a science of information. They illustrate their theory by applying it to a wide range of phenomena, from file transfer to DNA, from quantum mechanics to speech act theory.

  • by Ernest. G. (University of Massachusetts Manes
    £48.99

    This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.

  • by Wim H. Hesselink
    £40.99

    A complete account of the predicate transformation calculus semantics of sequential programs.

  • by Maria (Universitat de Barcelona) Manzano
    £61.49

    Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.