Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Das Rechenkalkül: Entscheidungsverfahren mit Anträgen auf

Ø 0.0
0 Bewertungen
71,05 €

This textbook also presents a logical approach to engineering correct software as an application of computational logic. Verification exercises develop the reader's facility in specifying and verifying software using logic.

Jetzt bei Ebay: