Automated Reasoning
Editat de David Basin et al.
22 iun 2004
Paperback
Preț: 632.79 lei 790.99 lei
6-8 săpt.
-20%
Cărți de David Basin
Theorem Proving in Higher Order Logics
Editat de David Basin et al.
21 aug 2003
Paperback
Preț: 380.09 lei
6-8 săpt.
The Complete Guide to SCION: From Design Principles to Formal Verification
Autor Laurent Chuat et al.
18 mai 2023
Paperback
Preț: 583.89 lei 729.87 lei
6-8 săpt.
-20%