The Logical Basis for Computer Programming: Deductive Systems - Couverture rigide

Manna, Zohar; Waldinger, R.

 
9780201182613: The Logical Basis for Computer Programming: Deductive Systems

Synopsis

Book by Manna Zohar Waldinger Richard Manna Johar

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.