. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ä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
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 5,11 €, größter Preis: 91,42 €, Mittelwert: 50,71 €
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 GMDin 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, DE, [SC: 0.00], Neuware, gewerbliches Angebot, offene Rechnung (Vorkasse vorbehalten)

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: Presentation and Case Studies (Lecture Notes in Computer Science) - Lafontaine, Christine, Martin Simons and Matthias Weber
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Lafontaine, Christine, Martin Simons and Matthias Weber:
The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science) - Taschenbuch

2008, ISBN: 3540573356

ID: 22521577412

[EAN: 9783540573357], Gebraucht, sehr guter Zustand, [PU: Springer,], SPRACHEN & TOOLS / LOGIK, 264 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 655005.01 Sprache: Englisch Gewicht in Gramm: 839

gebrauchtes bzw. antiquarisches Buch Abebooks.de
getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
NOT NEW BOOK Versandkosten: EUR 3.00
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) - Taschenbuch

1993, ISBN: 9783540573357

ID: 11453646975

Trade paperback, Gebraucht, guter Zustand, Former Library book. Shows some signs of wear, and may have some markings on the inside. Shipped to over one million happy customers. Your purchase benefits world literacy!, [PU: Springer]

gebrauchtes bzw. antiquarisches Buch Alibris.com
Better World Books
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 - Taschenbuch

1993, ISBN: 9783540573357

ID: 451701

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

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
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 - Taschenbuch

ISBN: 9783540573357

ID: 9783540573357

paperback, [PU: Springer, Berlin/Heidelberg]

Neues Buch Blackwell.co.uk
Blackwells.co.uk
in stock Versandkosten:Usually dispatched within 7 days (EUR 2.38)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
The Generic Development Language Deva

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 02.10.2017 21:23:42
ISBN/EAN: 3540573356

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


< zum Archiv...
Benachbarte Bücher