Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von T. Streicher

Filter
Filter
Ordnen nachSortieren Beliebt
  • 12% sparen
    - Correctness, Completeness and Independence Results
    von T. Streicher
    80,00 €

    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.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.