Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
Amir Pnueli · H Lin
1996년 10월 · World Scientific
eBook
320
페이지
family_home
적용 가능
info
무료 샘플
eBook 정보
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.