Guide to Software Verification with Frama-C
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 449.52 lei 561.89 lei
Indisponibil temporar
-20%
Computer Science Foundations and Applied Logic
Petri Net Primer
Autor Eike Best et al.
10 feb 2025
Paperback
Preț: 495.47 lei
38-44 zile
Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 538.22 lei 633.20 lei
43-57 zile
-15%