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
642 kr
Skickas inom 10-15 vardagar
642 kr
Skickas inom 10-15 vardagar
2 326 kr
Skickas inom 5-8 vardagar
2 337 kr
Skickas inom 10-15 vardagar
907 kr
Skickas inom 10-15 vardagar
642 kr
Skickas inom 10-15 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
767 kr
Skickas inom 5-8 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
536 kr
Skickas inom 10-15 vardagar
2 125 kr
Skickas inom 10-15 vardagar
1 490 kr
Skickas inom 10-15 vardagar
2 125 kr
Skickas inom 10-15 vardagar
1 490 kr
Skickas inom 10-15 vardagar
695 kr
Skickas inom 10-15 vardagar
845 kr
Skickas inom 11-20 vardagar
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
854 kr
Skickas inom 10-15 vardagar
907 kr
Skickas inom 10-15 vardagar
1 693 kr
Skickas inom 5-8 vardagar
Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking Problem
552 kr
Skickas inom 10-15 vardagar