. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540573356 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 74,89 €, größter Preis: 140,90 €, Mittelwert: 94,43 €
The Generic Development Language Deva - Matthias Weber
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Matthias Weber:
The Generic Development Language Deva - Taschenbuch

ISBN: 3540573356

ID: 10798536451

[EAN: 9783540573357], Neubuch, [PU: Springer], MATTHIAS WEBER,MARTIN SIMONS,CHRISTINE LAFONTAINE,EDUCATION AND REFERENCE,COMPUTER SCIENCE,LANGUAGES TOOLS, Mathematics|General, Computers & the Internet|Computer Science, Computers & the Internet|Logic Design, Paperback. 251 pages. Dimensions: 9.2in. x 6.1in. x 0.6in.This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.

Neues Buch Abebooks.de
BuySomeBooks, Las Vegas, NV, U.S.A. [52360437] [Rating: 5 (von 5)]
NEW BOOK Versandkosten: EUR 12.22
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science) - Matthias Weber; Martin Simons; Christine Lafontaine
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Matthias Weber; Martin Simons; Christine Lafontaine:
The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science) - gebrauchtes Buch

1990, ISBN: 3540573356

ID: 6928219

This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology. computers and technology,education and reference,languages and tools,logic,mathematics,programming,science and math,software design testing and engineering Mathematics, Springer

gebrauchtes bzw. antiquarisches Buch Thriftbooks.com
used Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
The Generic Development Language Deva - Weber, Matthias Simons, Martin Lafontaine, Christine
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Weber, Matthias Simons, Martin Lafontaine, Christine:
The Generic Development Language Deva - Taschenbuch

ISBN: 9783540573357

[ED: Softcover], [PU: Springer, Berlin], This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology. xiii, 251 S. XI, 246 pp. 279 mm Versandfertig in 3-5 Tagen, [SC: 0.00], Neuware, gewerbliches Angebot

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
The Generic Development Language Deva - Christine Lafontaine#Martin Simons#Matthias Weber
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christine Lafontaine#Martin Simons#Matthias Weber:
The Generic Development Language Deva - neues Buch

ISBN: 9783540573357

ID: 739204445

This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology. Presentation and Case Studies Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 28.10.1993 Buch (fremdspr.), Springer, .199

Neues Buch Buch.ch
No. 1882753 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
The Generic Development Language Deva - Matthias Weber; Martin Simons; Christine Lafontaine
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Matthias Weber; Martin Simons; Christine Lafontaine:
The Generic Development Language Deva - neues Buch

ISBN: 9783540573357

ID: 9783540573357

Computer Science; Programming Languages, Compilers, Interpreters; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Mathematical Logic and Foundations Formal Programm Development, Formal Proofs, Formale Beweise, Formale Programmentwicklung, Functional Programming, Funktionales Programmieren, Programmiersprache Deva, Programming Language DEVA, Type Theory, algorithm, algorithms Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
The Generic Development Language Deva
Autor:

Weber, Matthias; Lafontaine, Christine; Simons, Martin

Titel:

The Generic Development Language Deva

ISBN-Nummer:

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
Taschenbuch
Erscheinungsjahr: 1993
Herausgeber: Springer-Verlag GmbH
264 Seiten
Gewicht: 0,404 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 17.05.2007 20:21:08
Buch zuletzt gefunden am 08.05.2017 08:35:43
ISBN/EAN: 3540573356

ISBN - alternative Schreibweisen:
3-540-57335-6, 978-3-540-57335-7


< zum Archiv...
Benachbarte Bücher