Descriere
:
Cumpara temporal type theory springer nature switzerland ag de calitate.
Pe yeo poti sa gasesti cel mai bun pret pentru temporal type theory springer nature switzerland ag
This innovative monograph explores a new mathematical formalism in higher-order Temporal logic for proving properties about the behavior of systems..
This innovative monograph explores a new mathematical formalism in higher-order Temporal logic for proving properties about the behavior of systems.
Uneori, aceste descrieri pot contine inadvertente. De asemenea, imaginea este informativa si poate contine accesorii neincluse in pachetele standard.