Temporal Type Theory - Schultz - Bøker - Springer Nature Switzerland AG - 9783030007034 - 11. februar 2019
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Schultz
Temporal Type Theory 1st ed. 2019 edition

Pris
NOK 1.189

Bestillingsvarer

Forventes levert 3. - 11. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.

235 pages, 7 Illustrations, color; 60 Illustrations, black and white; VIII, 235 p. 67 illus., 7 illu

Media Bøker     Bok
Utgitt 11. februar 2019
ISBN13 9783030007034
Utgivere Springer Nature Switzerland AG
Antall sider 235
Mål 241 × 195 × 18 mm   ·   535 g
Språk Tysk  

Mer med Schultz

Vis alle

Se alt med Schultz ( f.eks. Bok , Pocketbok , CD , Partitur og Innbunden bok )