Algorithimic Languages and Calculi (IFIP Advances in Information and Communication Technology) - Hardcover

Bird, Richard; Meerkens, Lambert

 
9780412820502: Algorithimic Languages and Calculi (IFIP Advances in Information and Communication Technology)
Hardcover
ISBN 10: 0412820501 ISBN 13: 9780412820502
Verlag: Springer, 1997

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
0412820501
ISBN 13 
9780412820502
Einband
Gebundene Ausgabe
Anzahl der Seiten
451
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781504128773: Algorithimic Languages and Calculi (IFIP Advances in Information and Communication Technology)

Vorgestellte Ausgabe

ISBN 10:  150412877X ISBN 13:  9781504128773
Verlag: Springer, 1998
Softcover