The Generic Development Language Deva
Presentation and Case Studies
This book summarizes work done by the authors under theEsprit Tool Use project (1985-1990), at GMD in Karlsruhe andat Berlin University of Technology. It provides acomprehensive description of the generic developmentlanguage Deva designed by the authors. Much of the researchreported in this monograph is inspired by the work of MichelSintzoff on formal program development; he contributed anenlightening Foreword.Deva is essentially a typed functional language with certaindeduction rules. The difference with ordinary languages is,of course, the application domain: the typ…
Mehr
CHF 100.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Simons, Martin / Weber, Matthias
- ISBN: 978-3-540-57335-7
- EAN: 9783540573357
- Produktnummer: 3257239
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 264 S.
- Masse: H23.5 cm x B15.4 cm x D2.2 cm 343 g
- Auflage: 1993
- Abbildungen: Paperback
- Gewicht: 343
Bewertungen
Anmelden