- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Cambridge Tracts in Theoretical Computer Science"
-
Concurrency Verification
Willem-Paul De Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 54
- This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ... Savoir plus
134,45 €Livraison 2 à 3 semaines134,45 €Livraison 2 à 3 semaines -
The Clausal Theory of Types
D A Wolfram
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 21
- This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long... Savoir plus
112,45 €Livraison 2 à 3 semaines112,45 €Livraison 2 à 3 semaines -
Applications of Process Algebra
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 17
- This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communi... Savoir plus
160,45 €Livraison 2 à 3 semaines160,45 €Livraison 2 à 3 semaines -
Metamathematics, Machines and Gödel's Proof
N Shankar
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 38
- The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incomplet... Savoir plus
80,95 €Livraison 2 à 3 semaines80,95 €Livraison 2 à 3 semaines -
Action Semantics
Peter D Mosses
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 26
- Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of... Savoir plus
96,95 €Livraison 2 à 3 semaines96,95 €Livraison 2 à 3 semaines -
Basic Simple Type Theory
J Roger Hindley
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 42
- Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its t... Savoir plus
70,95 €Livraison 2 à 3 semaines70,95 €Livraison 2 à 3 semaines -
Term Rewriting Systems
Terese
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 55
- Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. The... Savoir plus
367,95 €Livraison 2 à 3 semaines367,95 €Livraison 2 à 3 semaines -
Belief Revision
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 29
- Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial inte... Savoir plus
115,45 €Livraison 2 à 3 semaines115,45 €Livraison 2 à 3 semaines -
Basic Proof Theory
A S Troelstra, H Schwichtenberg
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 43
- This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic fo... Savoir plus
89,45 €Livraison 2 à 3 semaines89,45 €Livraison 2 à 3 semaines -
Deductive and Declarative Programming
Peter Padawitz
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 28
- In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive... Savoir plus
80,95 €Livraison 2 à 3 semaines80,95 €Livraison 2 à 3 semaines -
The Optimal Implementation of Functional Programming Languages
Andrea Asperti, Stefano Guerrini
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 45
- All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implement... Savoir plus
155,95 €Livraison 2 à 3 semaines155,95 €Livraison 2 à 3 semaines -
Formal Specification and Design
L M G Feijs, H B M Jonkers
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 35
- Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logi... Savoir plus
89,45 €Livraison 2 à 3 semaines89,45 €Livraison 2 à 3 semaines -
Programs, Recursion and Unbounded Choice
Wim H Hesselink
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 27
- Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is... Savoir plus
80,95 €Livraison 2 à 3 semaines80,95 €Livraison 2 à 3 semaines -
Design Theory and Computer Science
Subrata Dasgupta
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 15
- The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both ... Savoir plus
122,95 €Livraison 2 à 3 semaines122,95 €Livraison 2 à 3 semaines -
Updating Logical Databases
Marianne Winslett
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 9
- This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating ne... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
Understanding Z
J M Spivey
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 3
- By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for... Savoir plus
64,95 €Livraison 2 à 3 semaines64,95 €Livraison 2 à 3 semaines -
Data Refinement
Willem-Paul de Roever, Kai Engelhardt
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 47
- The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and t... Savoir plus
96,95 €Livraison 2 à 3 semaines96,95 €Livraison 2 à 3 semaines -
Formal Semantics and Pragmatics for Natural Language Querying
James Clifford
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 8
- This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links ... Savoir plus
80,95 €Livraison 2 à 3 semaines80,95 €Livraison 2 à 3 semaines -
Introduction to Coalgebra
Bart Jacobs
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 59
- The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combi... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
Higher Order Logic and Hardware Verification
T F Melham
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 31
- Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of ... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
Mathematical Theory of Domains
V Stoltenberg-Hansen, I Lindström, E R Griffor
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 22
- Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first ... Savoir plus
112,45 €Livraison 2 à 3 semaines112,45 €Livraison 2 à 3 semaines -
Concurrency Verification
Willem-Paul De Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 54
- This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ... Savoir plus
409,45 €Livraison 2 à 3 semaines409,45 €Livraison 2 à 3 semaines -
Algebraic Specification of Communication Protocols
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 36
- Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the ... Savoir plus
74,95 €Livraison 2 à 3 semaines74,95 €Livraison 2 à 3 semaines -
Advanced Topics in Bisimulation and Coinduction
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 52
- Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to p... Savoir plus
201,95 €Livraison 2 à 3 semaines201,95 €Livraison 2 à 3 semaines