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

Bücher von Ernest G. Manes

Filter
Filter
Ordnen nachSortieren Beliebt
  • 11% sparen
    von Michael A. Arbib & Ernest G. Manes
    83,00 €

    An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.

Willkommen bei den Tales Buchfreunden und -freundinnen

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