Stock image for illustration purposes only - book cover, edition or condition may vary.
Algorithimic Languages and Calculi
Bird, Richard; Meertens, L.G.L.T.
€ 248.94
FREE Delivery in Ireland
Description for Algorithimic Languages and Calculi
Hardback. 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. Series: IFIP Advances in Information and Communication Technology. Num Pages: 451 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 28. Weight in Grams: 772.
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.
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.
Product Details
Format
Hardback
Publication date
1997
Publisher
Chapman and Hall United Kingdom
Number of pages
451
Condition
New
Series
IFIP Advances in Information and Communication Technology
Number of Pages
443
Place of Publication
London, United Kingdom
ISBN
9780412820502
SKU
V9780412820502
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algorithimic Languages and Calculi