Structural Decision Diagrams in Digital Test
Autor Raimund Ubar et al.
30 ian 2024
Hardback
Preț: 1417.40 lei 1771.75 lei
3-5 săpt.
-20%
Computer Science Foundations and Applied Logic
Category Theory Using Haskell
Autor Shuichi Yukita
7 dec 2024
Hardback
Preț: 1233.49 lei 1541.86 lei
6-8 săpt.
-20%
Guide to Software Verification with Frama-C
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 399.61 lei 499.51 lei
Indisponibil temporar
-20%
Petri Net Primer
Autor Eike Best et al.
10 feb 2025
Paperback
Preț: 495.47 lei
39-44 zile
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
24 mai 2023
Hardback
Preț: 377.48 lei 471.85 lei
6-8 săpt.
-20%
Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 491.14 lei 577.81 lei
6-8 săpt.
-15%