- 5 Résultats
prix le plus bas: € 53,49, prix le plus élevé: € 58,71, prix moyen: € 54,96
1
The Generic Development Language Deva Presentation and Case Studies - Matthias Weber, Christine Lafontaine, Martin Simons
Commander
sur buchfreund.de
€ 58,71
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Matthias Weber, Christine Lafontaine, Martin Simons:

The Generic Development Language Deva Presentation and Case Studies - nouveau livre

1993, ISBN: 9783540573357

Kartoniert, 264 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berli… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
2
The Generic Development Language Deva Presentation and Case Studies - Weber, Matthias; Lafontaine, Christine; Simons, Martin
Commander
sur Achtung-Buecher.de
€ 55,60
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Weber, Matthias; Lafontaine, Christine; Simons, Martin:

The Generic Development Language Deva Presentation and Case Studies - nouveau livre

1993, ISBN: 3540573356

1993 Kartoniert / Broschiert Programmiersprachen, Mathematische Grundlagen, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Theoretische Informatik, formalproof… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
3
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - Livres de poche

ISBN: 9783540573357

*The Generic Development Language Deva* - Presentation and Case Studies. Auflage 1993 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, English,, International, Gebundene, Ausgaben Med… Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(X)
4
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - Livres de poche

ISBN: 9783540573357

*The Generic Development Language Deva* - Presentation and Case Studies. Auflage 1993 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher ne… Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(X)
5
The Generic Development Language Deva - Matthias Weber; Martin Simons; Christine Lafontaine
Commander
sur lehmanns.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Matthias Weber; Martin Simons; Christine Lafontaine:
The Generic Development Language Deva - Première édition

1993, ISBN: 9783540573357

Livres de poche

Presentation and Case Studies, Buch, Softcover, 1993, [PU: Springer Berlin], Springer Berlin, 1993

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
The Generic Development Language Deva
Auteur:
Titre:
ISBN:

9783540573357


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 types serve here toexpress propositions such as specifications or programs,rather than just data classes. Its practical applicabilitywas tested on several non-trivial case studies. The wholebook is written using the DVWEB system, a WEB for Deva,beeing implemented at the Berlin University of Technology.

Informations détaillées sur le livre - The Generic Development Language Deva


EAN (ISBN-13): 9783540573357
ISBN (ISBN-10): 3540573356
Version reliée
Livre de poche
Date de parution: 1993
Editeur: Springer Berlin Heidelberg
264 Pages
Poids: 0,404 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-17T20:21:08+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-01-05T07:31:40+01:00 (Zurich)
ISBN/EAN: 9783540573357

ISBN - Autres types d'écriture:
3-540-57335-6, 978-3-540-57335-7
Autres types d'écriture et termes associés:
Auteur du livre: matthias martin, simons, matthias weber, weber simon, lafontaine, christine martin, lafont, matthias willing, karlsruhe, lafontaíne
Titre du livre: the development language, language science, presentation language, language development age, the sciences the artificial, deva, second language development, lecture notes computer science, studies language, generic

Données de l'éditeur

Auteur: Matthias Weber; Martin Simons; Christine Lafontaine
Titre: Lecture Notes in Computer Science; The Generic Development Language Deva - Presentation and Case Studies
Editeur: Springer; Springer Berlin
251 Pages
Date de parution: 1993-10-28
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 251 p.

BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Formal Programm Development; Formal Proofs; Formale Beweise; Formale Programmentwicklung; Functional Programming; Funktionales Programmieren; Programmiersprache Deva; Programming Language DEVA; Type Theory; algorithm; algorithms; Compilers and Interpreters; Theory of Computation; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Mathematical Logic and Foundations; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Mathematik: Logik; Mathematische Grundlagen; EA

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