Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
| Author | : Amir Pnueli |
| Publisher | : World Scientific |
| Total Pages | : 322 |
| Release | : 1996-10-25 |
| ISBN-10 | : 9789814547369 |
| ISBN-13 | : 9814547360 |
| Rating | : 4/5 (360 Downloads) |
Book Synopsis Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang by : Amir Pnueli
Download or read book Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang written by Amir Pnueli and published by World Scientific. This book was released on 1996-10-25 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt: This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.