- 5 Resultados
precio mínimo: € 53,49, precio máximo: € 58,71, precio promedio: € 54,96
1
The Generic Development Language Deva Presentation and Case Studies - Matthias Weber, Christine Lafontaine, Martin Simons
Pedir
por buchfreund.de
€ 58,71
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Matthias Weber, Christine Lafontaine, Martin Simons:

The Generic Development Language Deva Presentation and Case Studies - libro nuevo

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… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
cerrar (X)
2
The Generic Development Language Deva Presentation and Case Studies - Weber, Matthias; Lafontaine, Christine; Simons, Martin
Pedir
por Achtung-Buecher.de
€ 55,60
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

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

The Generic Development Language Deva Presentation and Case Studies - libro nuevo

1993, ISBN: 3540573356

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

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
cerrar (X)
3
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Pedir
por Hugendubel.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - Pasta blanda

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… Más…

Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
cerrar (X)
4
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Pedir
por Hugendubel.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - Pasta blanda

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… Más…

Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
cerrar (X)
5
The Generic Development Language Deva - Matthias Weber; Martin Simons; Christine Lafontaine
Pedir
por lehmanns.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Matthias Weber; Martin Simons; Christine Lafontaine:
The Generic Development Language Deva - Primera edición

1993, ISBN: 9783540573357

Pasta blanda

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

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
The Generic Development Language Deva
Autor:
Título:
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.

Detalles del libro - The Generic Development Language Deva


EAN (ISBN-13): 9783540573357
ISBN (ISBN-10): 3540573356
Tapa dura
Tapa blanda
Año de publicación: 1993
Editorial: Springer Berlin Heidelberg
264 Páginas
Peso: 0,404 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-05-17T20:21:08+02:00 (Madrid)
Página de detalles modificada por última vez el 2024-01-05T07:31:40+01:00 (Madrid)
ISBN/EAN: 9783540573357

ISBN - escritura alterna:
3-540-57335-6, 978-3-540-57335-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: matthias martin, simons, matthias weber, weber simon, lafontaine, christine martin, lafont, matthias willing, karlsruhe, lafontaíne
Título del libro: 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

Datos del la editorial

Autor: Matthias Weber; Martin Simons; Christine Lafontaine
Título: Lecture Notes in Computer Science; The Generic Development Language Deva - Presentation and Case Studies
Editorial: Springer; Springer Berlin
251 Páginas
Año de publicación: 1993-10-28
Berlin; Heidelberg; DE
Idioma: Inglés
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.
< para archivar...