Data & IT

Algorithimic Languages and Calculi

Richard Bird • Lambert Meerkens

Inbunden

3969:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

443 sidor
1997

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.

Författare: Richard Bird, Lambert Meerkens
Illustratör: 443 p VIII
Format: Inbunden
ISBN: 9780412820502
Språk: Engelska
Antal sidor: 443
Utgivningsdatum: 1997-07-01
Förlag: Chapman and Hall