Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)

by Zohar Manna (Author)

New
Paperback
1987
$55.89

$55.89

Quantity

Temporarily out of stock

More Information

Format: Paperback
Pages: 53
Publisher: Society for Industrial and Applied Mathematics
Published: 01 Jan 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)

New

$55.89

$55.89

More Information