Algorithimic Languages and Calculi

Name: Algorithimic Languages and Calculi
SKU: 2436653
Price: 607.00 NZD
Availability: InStock

By:

Format:

Hardback

Series:

IFIP Advances in Information and Communication Technology

Show Hide Adult Content

$607.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $151.75 with Afterpay Learn more

6 weekly interest-free payments of $101.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 11-21 June using International Courier

Description

The general theme of this working conference is notations, methods, and tool support for the calculation of programs from specifications. Its purpose is to present the results of ongoing research, descriptions of existing and prosposed systems and applications to the production of practical software. This work, a collection of papers from the conference, aims to address the following topics: the study of the calculation of programs from specifications, the design of notations for such calculation, the formulation of algorithm theories using such notations and the investigation of software support for program derivation. This book should be of interest to computer science students, software researchers and programmers requiring correct codes.

Release date NZ

July 31st, 1997

Author

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational
Undergraduate

Illustrations

VIII, 443 p.

Pages

443

Series

IFIP Advances in Information and Communication Technology

Dimensions

156x234x25

ISBN-13

9780412820502

Product ID

2436653

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here