Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang PDF full book. Access full book title Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang by Pnueli Amir. Download full books in PDF and EPUB format.

Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang PDF Author: Pnueli Amir
Publisher: World Scientific
ISBN: 9814547360
Category :
Languages : en
Pages : 320

Get Book

Book Description
With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and automated geometric reasoning, and to the design and implementation of educational software and integrated teaching and learning environments. The book may serve as a useful reference for researchers, educators, and other professionals interested in developing, using, and practising methodologies and software tools of symbolic computation for education from the secondary to the undergraduate level.