- 5 Risultati
prezzo più basso: € 53,49, prezzo più alto: € 58,71, prezzo medio: € 54,96
1
The Generic Development Language Deva Presentation and Case Studies - Matthias Weber, Christine Lafontaine, Martin Simons
Ordina
da buchfreund.de
€ 58,71
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Matthias Weber, Christine Lafontaine, Martin Simons:

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

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
2
The Generic Development Language Deva Presentation and Case Studies - Weber, Matthias; Lafontaine, Christine; Simons, Martin
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

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

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

1993, ISBN: 3540573356

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
3
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - edizione con copertina flessibile

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

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
4
The Generic Development Language Deva - Christine Lafontaine/ Martin Simons/ Matthias Weber
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Christine Lafontaine/ Martin Simons/ Matthias Weber:
The Generic Development Language Deva - edizione con copertina flessibile

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

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
5
The Generic Development Language Deva - Matthias Weber; Martin Simons; Christine Lafontaine
Ordina
da lehmanns.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Matthias Weber; Martin Simons; Christine Lafontaine:
The Generic Development Language Deva - Prima edizione

1993, ISBN: 9783540573357

edizione con copertina flessibile

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

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
The Generic Development Language Deva
Autore:
Titolo:
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.

Informazioni dettagliate del libro - The Generic Development Language Deva


EAN (ISBN-13): 9783540573357
ISBN (ISBN-10): 3540573356
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1993
Editore: Springer Berlin Heidelberg
264 Pagine
Peso: 0,404 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-05-17T20:21:08+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-05T07:31:40+01:00 (Zurich)
ISBN/EAN: 9783540573357

ISBN - Stili di scrittura alternativi:
3-540-57335-6, 978-3-540-57335-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : matthias martin, simons, matthias weber, weber simon, lafontaine, christine martin, lafont, matthias willing, karlsruhe, lafontaíne
Titolo 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

Dati dell'editore

Autore: Matthias Weber; Martin Simons; Christine Lafontaine
Titolo: Lecture Notes in Computer Science; The Generic Development Language Deva - Presentation and Case Studies
Editore: Springer; Springer Berlin
251 Pagine
Anno di pubblicazione: 1993-10-28
Berlin; Heidelberg; DE
Lingua: Inglese
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.
< Per archiviare...