Computer Science Foundations and Applied Logic - Böcker
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
641 kr
Skickas inom 10-15 vardagar
641 kr
Skickas inom 10-15 vardagar
641 kr
Skickas inom 10-15 vardagar
2 311 kr
Skickas inom 7-10 vardagar
2 311 kr
Skickas inom 10-15 vardagar
906 kr
Skickas inom 10-15 vardagar
641 kr
Skickas inom 10-15 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
769 kr
Skickas inom 7-10 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
536 kr
Skickas inom 10-15 vardagar
2 101 kr
Skickas inom 10-15 vardagar
1 473 kr
Skickas inom 10-15 vardagar
2 101 kr
Skickas inom 10-15 vardagar
1 473 kr
Skickas inom 10-15 vardagar
694 kr
Skickas inom 10-15 vardagar
850 kr
Skickas inom 11-20 vardagar
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
853 kr
Skickas inom 10-15 vardagar
906 kr
Skickas inom 7-10 vardagar
1 682 kr
Skickas inom 10-15 vardagar
Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking Problem
608 kr
Kommande