Richard Bird
Algorithimic Languages and Calculi
Buch
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.
CHF 277.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Meerkens, Lambert
- ISBN: 978-0-412-82050-2
- EAN: 9780412820502
- Produktnummer: 5709622
- Verlag: Springer Nature
- Sprache: Englisch
- Erscheinungsjahr: 1997
- Seitenangabe: 443 S.
- Masse: H23.4 cm x B15.6 cm x D2.5 cm 812 g
- Auflage: 1997
- Gewicht: 812
59 weitere Werke von Richard Bird:
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.