Articles liés à Algorithmic Languages and Calculi

Algorithmic Languages and Calculi - Couverture rigide

Bird, Richard; Meerkens, Lambert

 
9780412820502: Algorithmic Languages and Calculi

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.