| Logic and Software Engineering International Workshop in Honour of Chih. Sung Tang | | | Author:
| Lin, H.
Pnueli, A. | | ISBN: | 978-981-02-2804-0 | | Publication Date: | Oct 1996 | | Publisher: | World Scientific Publishing Co Pte Ltd
| | Book Format: | Hardback | | List Price: | USD $51.00 |
| |