- 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.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
-
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
389,45 €Livraison 2 à 3 semaines389,45 €Livraison 2 à 3 semaines -
Higher Order Logic and Hardware Verification
T F Melham, Thomas F Melham
- Livre relié | 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
201,95 €Livraison 2 à 3 semaines201,95 €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
72,45 €Livraison 2 à 3 semaines72,45 €Livraison 2 à 3 semaines -
Lambda-Calculus, Combinators and Functional Programming
G E Revesz
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 4
- Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematica... Savoir plus
70,45 €Livraison 1 à 2 semaines70,45 €Livraison 1 à 2 semaines -
Extensions of First-Order Logic
Maria Manzano
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 19
- Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is a... Savoir plus
131,45 €Livraison 2 à 3 semaines131,45 €Livraison 2 à 3 semaines -
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 34
- The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is ... Savoir plus
95,45 €Livraison 2 à 3 semaines95,45 €Livraison 2 à 3 semaines -
Syntax and Semantics of Petri Nets
Roberto Gorrieri
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 63
- Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying... Savoir plus
148,95 €Pré-commander, disponible à partir du 31-08-2025148,95 €Pré-commander, disponible à partir du 31-08-2025 -
A Unifying Framework for Structured Analysis and Design Models
T H Tse
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 11
- Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of mod... Savoir plus
72,45 €Livraison 2 à 3 semaines72,45 €Livraison 2 à 3 semaines -
Domains and Lambda-Calculi
Roberto M Amadio, Pierre-Louis Curien
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 46
- This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani... Savoir plus
275,45 €Livraison 2 à 3 semaines275,45 €Livraison 2 à 3 semaines -
Nominal Sets
Andrew M Pitts
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 57
- Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and ... Savoir plus
106,95 €Livraison 2 à 3 semaines106,95 €Livraison 2 à 3 semaines -
Design Theory and Computer Science
Subrata Dasgupta
- Livre relié | 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
283,95 €Livraison 2 à 3 semaines283,95 €Livraison 2 à 3 semaines -
Information Flow
Jon Barwise, Jerry Seligman
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 44
- Information is a central topic in computer science, cognitive science, and philosophy. In spite of its importance in the "information age," there is n... Savoir plus
131,45 €Livraison 2 à 3 semaines131,45 €Livraison 2 à 3 semaines -
The Logic of Typed Feature Structures
Bob Carpenter
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 32
- This book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs ... Savoir plus
85,45 €Livraison 2 à 3 semaines85,45 €Livraison 2 à 3 semaines -
Topology Via Logic
Steven Vickers
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 5
- This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite ... Savoir plus
105,45 €Livraison 2 à 3 semaines105,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
170,45 €Livraison 2 à 3 semaines170,45 €Livraison 2 à 3 semaines -
Algorithmic Information Theory
Gregory. J. Chaitin
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science
- Expounds Godel's incompleteness theorey using an information theoretic approach based on the size of computer programs. Savoir plus
62,95 €Livraison 1 à 2 semaines62,95 €Livraison 1 à 2 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
85,45 €Livraison 2 à 3 semaines85,45 €Livraison 2 à 3 semaines -
Nets, Terms and Formulas
E -R Olderog
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 23
- The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des... Savoir plus
85,45 €Livraison 2 à 3 semaines85,45 €Livraison 2 à 3 semaines -
Algorithmic Information Theory
Gregory J Chaitin
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 1
- Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using... Savoir plus
96,95 €Livraison 2 à 3 semaines96,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
164,45 €Livraison 2 à 3 semaines164,45 €Livraison 2 à 3 semaines -
Basic Simple Type Theory
J Roger Hindley
- Livre relié | 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
193,45 €Livraison 2 à 3 semaines193,45 €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
119,95 €Livraison 2 à 3 semaines119,95 €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
79,45 €Livraison 2 à 3 semaines79,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
85,45 €Livraison 2 à 3 semaines85,45 €Livraison 2 à 3 semaines