Algorithimic Languages and Calculi

by Richard Bird

2020-12-31 22:19:43

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and pr... Read more
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software. Less

Book Details

File size9.25 X 6.1 X 0 in
Print pages456
PublisherSpringer US
Publication date July 31, 1997
LanguageEnglish
ISBN9780412820502

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Hard Cover Hard Cover Buy CAD 330.50
Indigo Books & MusicIn Stock
Format
Hard Cover
Condition
Hard Cover
Buy CAD 330.50
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free