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.

Autres éditions populaires du même titre

9781504128773: Algorithimic Languages and Calculi

Edition présentée

ISBN 10 :  150412877X ISBN 13 :  9781504128773
Editeur : Springer-Verlag New York Inc., 1998
Couverture souple