| 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: | Jan 1996 | Publisher: | World Scientific Publishing Co Pte Ltd
| Book Format: | Hardback | List Price: | AUD $78.95 |
| |