LOGIC AND SOFTWARE ENGINEERING - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP IN HONOR OF CHIH-SUNG TANG - Hardcover

Hardcover

ISBN 10: 981022804X ISBN 13: 9789810228040

Publisher: World Scientific Publishing Co Pte Ltd, 1996

Synopsis

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.

Edition details

• Publisher: World Scientific Publishing Co Pte Ltd
• Publication date: 1996
• Language: English
• ISBN 10: 981022804X
• ISBN 13: 9789810228040
• Binding: Hardcover
• Number of pages: 320
• Editor: Pnueli A, Lin H