Temporal Type Theory - Schultz - Bøger - Springer Nature Switzerland AG - 9783030007034 - 11. februar 2019
Ved uoverensstemmelse mellem cover og titel gælder titel

Schultz
Temporal Type Theory 1st ed. 2019 edition

Få en e-mail når varen bliver tilgængelig
Har du en konto? Log ind
Modtag notifikation om nye Schultz udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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

Medie Bøger     Bog
Udgivet 11. februar 2019
ISBN13 9783030007034
Forlag Springer Nature Switzerland AG
Antal sider 235
Mål 241 × 195 × 18 mm   ·   535 g
Sprog Tysk  

Mere med Schultz

Vis alle

Mere med samme udgiver

Se alt med Schultz ( f.eks. Bog , Paperback Bog , Partitur , CD og Hardcover bog )