- 5 resultados
menor preço: € 53.49, preço mais alto: € 58.71, preço médio: € 54.96
1
The Generic Development Language Deva Presentation and Case Studies - Matthias Weber, Christine Lafontaine, Martin Simons
Encomendar
no/na buchfreund.de
€ 58.71
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Matthias Weber, Christine Lafontaine, Martin Simons:

The Generic Development Language Deva Presentation and Case Studies - nuovo livro

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

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
fechar(X)
2
The Generic Development Language Deva Presentation and Case Studies - Weber, Matthias; Lafontaine, Christine; Simons, Martin
Encomendar
no/na Achtung-Buecher.de
€ 55.60
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado

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

The Generic Development Language Deva Presentation and Case Studies - nuovo livro

1993, ISBN: 3540573356

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

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fechar(X)
3
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Encomendar
no/na Hugendubel.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - Livro de bolso

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

Custos de envio:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fechar(X)
4
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Encomendar
no/na Hugendubel.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - Livro de bolso

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

Custos de envio:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fechar(X)
5
The Generic Development Language Deva - Matthias Weber; Martin Simons; Christine Lafontaine
Encomendar
no/na lehmanns.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Matthias Weber; Martin Simons; Christine Lafontaine:
The Generic Development Language Deva - primeira edição

1993, ISBN: 9783540573357

Livro de bolso

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

Custos de envio:Versand in 10-14 Tagen. (EUR 0.00)
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
The Generic Development Language Deva
Autor:
Título:
Número ISBN:

3540573356


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.

Dados detalhados do livro - The Generic Development Language Deva


EAN (ISBN-13): 9783540573357
ISBN (ISBN-10): 3540573356
Livro de capa dura
Livro de bolso
Ano de publicação: 1993
Editor/Editora: Springer Berlin Heidelberg
264 Páginas
Peso: 0,404 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-05-17T15:21:08-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-01-05T03:31:40-03:00 (Sao Paulo)
Número ISBN/EAN: 3540573356

Número ISBN - Ortografia alternativa:
3-540-57335-6, 978-3-540-57335-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: matthias martin, simons, matthias weber, weber simon, lafontaine, christine martin, lafont, matthias willing, karlsruhe, lafontaíne
Título do livro: 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

Dados da editora

Autor: Matthias Weber; Martin Simons; Christine Lafontaine
Título: Lecture Notes in Computer Science; The Generic Development Language Deva - Presentation and Case Studies
Editora: Springer; Springer Berlin
251 Páginas
Ano de publicação: 1993-10-28
Berlin; Heidelberg; DE
Língua: 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.

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9783540480679 The Generic Development Language Deva (Matthias Weber; Martin Simons; Christine Lafontaine)

< Para arquivar...