The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

Manylion Llyfryddiaeth
Prif Awdur: Manna, Zohar
Awduron Eraill: Waldinger, Richard
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Reading, Mass. Addison-Wesley c1993.
Pynciau: