Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Elérhetőség:
Beszállítói készleten
Küldés 10-13 napon belül
19 334
Ft
As computer software becomes more complex, the question of how its correctness can be assured grows...
