Udvidet returret til d. 31. januar 2025

Bøger af T. Streicher

Filter
Filter
Sorter efterSorter Populære
  • - Correctness, Completeness and Independence Results
    af T. Streicher
    983,95 kr.

    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.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.