- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 58,71, Mittelwert: € 54,96
1
The Generic Development Language Deva Presentation and Case Studies - Matthias Weber, Christine Lafontaine, Martin Simons
Bestellen
bei buchfreund.de
€ 58,71
Versand: € 0,001
Bestellengesponserter Link
Matthias Weber, Christine Lafontaine, Martin Simons:

The Generic Development Language Deva Presentation and Case Studies - neues Buch

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… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
2
The Generic Development Language Deva Presentation and Case Studies - Weber, Matthias; Lafontaine, Christine; Simons, Martin
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link

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

The Generic Development Language Deva Presentation and Case Studies - neues Buch

1993, ISBN: 3540573356

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - Taschenbuch

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… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
4
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - Taschenbuch

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… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
The Generic Development Language Deva - Matthias Weber; Martin Simons; Christine Lafontaine
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Matthias Weber; Martin Simons; Christine Lafontaine:
The Generic Development Language Deva - Erstausgabe

1993, ISBN: 9783540573357

Taschenbuch

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

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
The Generic Development Language Deva

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.

Detailangaben zum Buch - The Generic Development Language Deva


EAN (ISBN-13): 9783540573357
ISBN (ISBN-10): 3540573356
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1993
Herausgeber: Springer Berlin Heidelberg
264 Seiten
Gewicht: 0,404 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-17T20:21:08+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-05T07:31:40+01:00 (Berlin)
ISBN/EAN: 3540573356

ISBN - alternative Schreibweisen:
3-540-57335-6, 978-3-540-57335-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: matthias martin, simons, matthias weber, weber simon, lafontaine, christine martin, lafont, matthias willing, karlsruhe, lafontaíne
Titel des Buches: 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


Daten vom Verlag:

Autor/in: Matthias Weber; Martin Simons; Christine Lafontaine
Titel: Lecture Notes in Computer Science; The Generic Development Language Deva - Presentation and Case Studies
Verlag: Springer; Springer Berlin
251 Seiten
Erscheinungsjahr: 1993-10-28
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 0,840 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 251 p.

BC; Programming Languages, Compilers, Interpreters; 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; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Mathematical Logic and Foundations; 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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540480679 The Generic Development Language Deva (Matthias Weber; Martin Simons; Christine Lafontaine)


< zum Archiv...