Computer Science Foundations and Applied Logic – serie
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
862 kr
Skickas inom 5-8 vardagar
644 kr
Skickas inom 10-15 vardagar
644 kr
Skickas inom 10-15 vardagar
2 329 kr
Skickas inom 5-8 vardagar
2 341 kr
Skickas inom 10-15 vardagar
909 kr
Skickas inom 10-15 vardagar
644 kr
Skickas inom 10-15 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
769 kr
Skickas inom 5-8 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
538 kr
Skickas inom 10-15 vardagar
2 128 kr
Skickas inom 10-15 vardagar
1 492 kr
Skickas inom 10-15 vardagar
2 128 kr
Skickas inom 10-15 vardagar
1 492 kr
Skickas inom 10-15 vardagar
697 kr
Skickas inom 10-15 vardagar
1 199 kr
Kommande
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
856 kr
Skickas inom 10-15 vardagar
909 kr
Skickas inom 10-15 vardagar
1 704 kr
Skickas inom 10-15 vardagar
Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking Problem
554 kr
Skickas inom 10-15 vardagar