Computer Science Foundations and Applied Logic – serie
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1 119 kr
Skickas inom 5-8 vardagar
829 kr
Skickas inom 10-15 vardagar
829 kr
Skickas inom 10-15 vardagar
3 019 kr
Skickas inom 5-8 vardagar
3 029 kr
Skickas inom 10-15 vardagar
1 179 kr
Skickas inom 10-15 vardagar
829 kr
Skickas inom 10-15 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
999 kr
Skickas inom 5-8 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
699 kr
Skickas inom 10-15 vardagar
2 759 kr
Skickas inom 10-15 vardagar
1 929 kr
Skickas inom 10-15 vardagar
2 759 kr
Skickas inom 10-15 vardagar
1 929 kr
Skickas inom 10-15 vardagar
899 kr
Skickas inom 10-15 vardagar
1 099 kr
Skickas inom 11-20 vardagar
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1 109 kr
Skickas inom 10-15 vardagar
1 179 kr
Skickas inom 10-15 vardagar
2 199 kr
Skickas inom 5-8 vardagar
Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking Problem
719 kr
Skickas inom 10-15 vardagar