Temporal Verification of Reactive SystemsCollectif d'auteurs8,49 €Dernier exemplaire4,5Ajouter au panier
The Riddle of Scheherazade and Other Amazing PuzzlesRaymond M. Smullyan3,59 €Dernier exemplaire4,2Ajouter au panier
The Haskell road to logic, maths and programmingJan van Eijck7,49 €Dernier exemplaire3,7Ajouter au panier
Les énigmes de l'été Adultes - Cahier de vacances 2021Pascal Guichard0,39 €Dernier exemplaireAjouter au panier
Relation Algebras - 1: Introduction to Relation AlgebrasSteven Givant32,49 €Dernier exemplaireAjouter au panier
Unwin University Books: An Introduction to LogicPeter-Alexander Wacker4,07 €AbîméAbîméAfficher les détails
Making It Explicit. Reasoning, Representing, and Discursive CommitmentRobert BrandomÉpuisé4,5Prévenez-moi
1001 Chess Exercises for Beginners: The Tactics Workbook That Explains the Basic Concepts, TooFranco MasettiÉpuisé4,4Prévenez-moi
