Temporal Type Theory: A Topos Theoretic Approach to Systems and Behavior (Progress in Computer Science Applied Logic, 29, Band 29)

Preise von
71,34

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
71,34 €
5,00 €
76,34 €
Zum Shop
5,00 € Shipping Costs
Beschreibung (1)

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)

Produktspezifikationen

Marken Birkhauser
EAN
  • 9783030007034

Preise zuletzt aktualisiert am:

Birkhauser

A Proof Theory for General Unification (Progress in Computer Science and Applied...

48,99 €
Weitere Informationen Mehr Infos

Birkhauser

Logic for Computer Scientists (Progress in Science and Applied Logic, Band 8)

70,92 €
Weitere Informationen Mehr Infos

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

64,19 €
Weitere Informationen Mehr Infos

Birkhauser

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

59,99 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
71,34 €
Zum Shop