Bücher immer versandkostenfrei
The Generic Development Language Deva als Buch (kartoniert)
PORTO-
FREI

The Generic Development Language Deva

Presentation and Case Studies. Auflage 1993. Paperback. Sprache: Englisch.
Buch (kartoniert)
This book summarizes work done by the authors under the
Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and
at Berlin University of Technology. It provides a
comprehensive description of the generi … weiterlesen
Buch (kartoniert)

€ 74,99 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von 5 bis 7 Werktagen
750 Lesepunkte
The Generic Development Language Deva als Buch (kartoniert)

Produktdetails

Titel: The Generic Development Language Deva
Autor/en: Christine Lafontaine, Martin Simons, Matthias Weber

ISBN: 3540573356
EAN: 9783540573357
Presentation and Case Studies.
Auflage 1993.
Paperback.
Sprache: Englisch.
Springer Berlin Heidelberg

28. Oktober 1993 - kartoniert - 264 Seiten

Beschreibung

This book summarizes work done by the authors under the
Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and
at Berlin University of Technology. It provides a
comprehensive description of the generic development
language Deva designed by the authors. Much of the research
reported in this monograph is inspired by the work of Michel
Sintzoff on formal program development; he contributed an
enlightening Foreword.
Deva is essentially a typed functional language with certain
deduction rules. The difference with ordinary languages is,
of course, the application domain: the types serve here to
express propositions such as specifications or programs,
rather than just data classes. Its practical applicability
was tested on several non-trivial case studies. The whole
book is written using the DVWEB system, a WEB for Deva,
beeing implemented at the Berlin University of Technology.

Inhaltsverzeichnis

Informal introduction to Deva.- Stepwise definition of Deva.- Formalization of basic theories.- Case study on VDM-style developments.- Case study on algorithm calculation.- Conclusion.

Mehr aus dieser Reihe

zurück
Artificial Intelligence in Music, Sound, Art and Design
Buch (kartoniert)
Artificial Intelligence in Music, Sound,…
Internet Science
Buch (kartoniert)
Internet Science
Policy-Based Autonomic Data Governance
Buch (kartoniert)
Policy-Based Autonomic Data Governance
Canadian AI 2019
Buch (kartoniert)
Canadian AI 2019
Algorithms for Computational Biology
Buch (kartoniert)
Algorithms for Computational Biology
vor
Entdecken Sie mehr
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.