Hardback (31 Jan 1992)
Not available for sale
Includes delivery to the United States
Out of stock
This text represents the proceedings of a workshop held in 1989 and covers such areas as computability and the complexity of higher type functions, logics for termination and correctness of functional programs and concurrent computation as game playing.
| ISBN: | 9783540976677 |
| Publisher: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Imprint: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Pub date: | 31 Jan 1992 |
| Language: | English |
| Number of pages: | 619 |
| Weight: | 1045g |
| Height: | 216mm |
| Width: | 138mm |
$10.35off
Paperback
Published 17 Aug 2021
Save $10.35
$8.29off
Hardback
Published 05 Oct 2023
Save $8.29
$3.73off
Paperback
Published 07 Aug 2023
Save $3.73
$21.53off
Paperback
Published 02 Nov 2023
Save $21.53
$1.64off
Paperback
Published 31 May 2023
Save $1.64
$2.11off
Paperback
Published 31 May 2023
Save $2.11
$2.62off
Paperback
Published 28 Aug 2023
Save $2.62
$12.52off
Hardback
Published 09 Nov 2023
Save $12.52
