The Logical Basis for Computer Programming: Deductive Systems

Authors: Manna, Zohar, Waldinger, R.

Ask AI a Question

ASIN: 0201182610 (FR)

N/A Unknown

Category: N/A (Slug: informatique-et-internet/programmation-et-langages/algorithmique)

Ask a Question about "The Logical Basis for Computer Programming: Deductive Systems"

0 / 300