Visar resultat för...
Computer Science Foundations and Applied Logic
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
959 kr
Skickas inom 10-15 vardagar
829 kr
Skickas inom 10-15 vardagar
829 kr
Skickas inom 10-15 vardagar
2 969 kr
Skickas inom 7-10 vardagar
2 969 kr
Skickas inom 10-15 vardagar
1 099 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
889 kr
Skickas inom 7-10 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
689 kr
Skickas inom 10-15 vardagar
2 699 kr
Skickas inom 10-15 vardagar
1 649 kr
Skickas inom 10-15 vardagar
2 699 kr
Skickas inom 10-15 vardagar
1 649 kr
Skickas inom 10-15 vardagar
889 kr
Skickas inom 10-15 vardagar
1 069 kr
Kommande
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1 029 kr
Skickas inom 10-15 vardagar
1 159 kr
Skickas inom 10-15 vardagar
2 159 kr
Skickas inom 10-15 vardagar
Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking Problem
1 029 kr
Kommande
3 099 kr
Skickas inom 7-10 vardagar
1 219 kr
Skickas inom 3-6 vardagar
259 kr
Skickas inom 7-10 vardagar
Mathematical Logic
Foundations for Information Science
689 kr
Skickas inom 10-15 vardagar
Logic, Language, Information, and Computation
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
709 kr
Skickas inom 10-15 vardagar