Structural Decision Diagrams in Digital Test: Theory and Applications
Autor Raimund Ubar et al.
30 ian 2024
Hardback
Preț: 1413.57 lei 1766.96 lei
3-5 săpt.
-20%
Computer Science Foundations and Applied Logic
Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Autor Shuichi Yukita
16 oct 2024
Hardback
Preț: 1228.89 lei 1536.12 lei
6-8 săpt.
-20%
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 398.51 lei 498.15 lei
Indisponibil temporar
-20%
Petri Net Primer
Autor Eike Best et al.
10 feb 2025
Paperback
Preț: 420.40 lei 525.51 lei
38-45 zile
-20%
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
24 mai 2023
Hardback
Preț: 375.86 lei 469.82 lei
6-8 săpt.
-20%
Multi-valued Logic for Decision-Making Under Uncertainty
Autor Ronald Yager
18 feb 2025
Hardback
Preț: 1256.19 lei 1570.24 lei
Indisponibil temporar
-20%
Structural Decision Diagrams in Digital Test
Autor Artur Jutman
16 feb 2025
Paperback
Preț: 1399.23 lei 1749.04 lei
Indisponibil temporar
-20%
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Autor William M. Farmer
3 ian 2024
Paperback
Preț: 429.90 lei 537.38 lei
6-8 săpt.
-20%