The Logical Basis for Computer Programming
Deductive reasoning
- ISBN 13 : 9780201182613
- ISBN 10 : 0201182610
- Judul : The Logical Basis for Computer Programming
- Sub Judul : Deductive reasoning
- Pengarang : Zohar Manna, Richard Waldinger, Richard Waldinger, Richard Waldinger, Richard Waldinger, Richard Waldinger,
- Bahasa : en
- Tahun : 1985
- Halaman : 618
- Halaman : 618
- Google Book : http://books.google.co.id/books?id=GfGacQAACAAJ&dq=inauthor:manna%27&hl=&source=gbs_api
-
Ketersediaan :