Name: Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)
Brand: Springer-Verlag GmbH
SKU: ID12353990
Availability: InStock

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

128.39 EUR 10% Off 142.00 EUR

Ein einführendes Werk, das die Zeitabhängigkeit in der Typentheorie mit Topos‑Theorie verknüpft und damit neue Methoden zur formalen Analyse dynamischer Systeme entwickelt.

Marke: Springer-Verlag GmbH

ISBN: 3030007030

MPN: 33747855