Algorithimic Languages and Calculi (IFIP Advances in Information and Communication Technology)
Book Details
Author(s)
Richard Bird, Lambert Meerkens
Publisher
Springer
ISBN / ASIN
0412820501
ISBN-13
9780412820502
Availability
Usually ships in 2 to 4 weeks
Sales Rank
#1,508,353
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
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.
