The Logical Basis for Computer Programming: Deductive Systems: 002 - Rilegato

Manna, Zohar; Waldinger, Richard; Manna, Johar

 
9780201182613: The Logical Basis for Computer Programming: Deductive Systems: 002

Sinossi

Book by Manna Zohar Waldinger Richard Manna Johar

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.