- 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 "Computer Science Foundations and Applied Logic"
-
Guide to Software Verification with Frama-C
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial... Savoir plus
68,95 €Livraison sous 1 à 4 semaines68,95 €Livraison sous 1 à 4 semaines -
Petri Net Primer
Eike Best, Raymond Devillers
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of reso... Savoir plus
84,45 €Livraison sous 1 à 4 semaines84,45 €Livraison sous 1 à 4 semaines -
Simple Type Theory
William M Farmer
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reas... Savoir plus
89,95 €Livraison sous 1 à 4 semaines89,95 €Livraison sous 1 à 4 semaines -
Category Theory Using Haskell
Shuichi Yukita
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950... Savoir plus
210,95 €Livraison sous 1 à 4 semaines210,95 €Livraison sous 1 à 4 semaines -
Multi-Valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan, Alexander Rybalov, Ronald Yager
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collec... Savoir plus
210,95 €Livraison sous 1 à 4 semaines210,95 €Livraison sous 1 à 4 semaines -
Algorithms for Constructing Computably Enumerable Sets
Kenneth J Supowit
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques ... Savoir plus
63,45 €Livraison sous 1 à 4 semaines63,45 €Livraison sous 1 à 4 semaines -
Simple Type Theory
William M Farmer
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reas... Savoir plus
63,45 €Livraison sous 1 à 4 semaines63,45 €Livraison sous 1 à 4 semaines -
Algorithms for Constructing Computably Enumerable Sets
Kenneth J Supowit
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques ... Savoir plus
63,45 €Livraison sous 1 à 4 semaines63,45 €Livraison sous 1 à 4 semaines -
Structural Decision Diagrams in Digital Test
Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model repre... Savoir plus
232,45 €Livraison sous 1 à 4 semaines232,45 €Livraison sous 1 à 4 semaines
9 sur 9 résultat(s) affiché(s)