Erweiterte
Suche ›

Algorithimic Languages and Calculi

Springer US,
Buch
223,63 € Lieferbar in 2-3 Tagen

Kurzbeschreibung

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.

Details
Schlagworte

Titel: Algorithimic Languages and Calculi
Autoren/Herausgeber: Richard Bird, Lambert Meerkens
Aus der Reihe: IFIP International Federation for Information Processing
Ausgabe: 1997

ISBN/EAN: 9780412820502

Seitenzahl: 443
Format: 23,5 x 15,5 cm
Produktform: Hardcover/Gebunden
Gewicht: 1,790 g
Sprache: Englisch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht