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…
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1993, ISBN: 3540573356
1993 Kartoniert / Broschiert Programmiersprachen, Mathematische Grundlagen, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Theoretische Informatik, formalproof… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
1993, ISBN: 9783540573357
Taschenbuch
Presentation and Case Studies, Buch, Softcover, 1993, [PU: Springer Berlin], Springer Berlin, 1993
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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…
Weber, Matthias; Lafontaine, Christine; Simons, Martin:
The Generic Development Language Deva Presentation and Case Studies - neues Buch1993, ISBN: 3540573356
1993 Kartoniert / Broschiert Programmiersprachen, Mathematische Grundlagen, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Theoretische Informatik, formalproof… Mehr…
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…
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…
1993, ISBN: 9783540573357
Taschenbuch
Presentation and Case Studies, Buch, Softcover, 1993, [PU: Springer Berlin], Springer Berlin, 1993
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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: 9783540573357
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...