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

Preise von
73,28

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

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
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
73,28 €
3,00 €
76,28 €
Zum Shop
3,00 € Shipping Costs
Amazon Marketplace Logo
73,28 €
3,00 €
76,28 €
Zum Shop
3,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

Birkhauser

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

53,49 €
2 Shops vergleichen 2 Shops

Birkhauser

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

74,00 €
Weitere Informationen Mehr Infos

Birkhauser

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

59,99 €
2 Shops vergleichen 2 Shops

Springer

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

49,00 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
73,28 €
Zum Shop