Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Gestion des cookies
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
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
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
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
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
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
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is a...Savoir plus
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
Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematica...Savoir plus
Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of mod...Savoir plus
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
The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both ...Savoir plus
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
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
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
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
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
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using...Savoir plus
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
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
All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implement...Savoir plus
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
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
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
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
This book combines traditional graph theory with the matroid view of graphs in order to throw light on the mathematical approach to network analysis. ...Savoir plus