T. Streicher – författare
Visar alla böcker från författaren T. Streicher. Handla med fri frakt och snabb leverans.
2 produkter
Semantics of Type Theory
Correctness, Completeness and Independence Results
Av T. Streicher
E-bok, 2012
1188 kr
Lägg i varukorg
Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication. By translating a problem specification into a …
Semantics of Type Theory
Correctness, Completeness and Independence Results
Av T. Streicher
Häftad, 2012
934 kr
Lägg i varukorg
Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication. By translating a problem specification into a …
