. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
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: 0.99 EUR, größter Preis: 74.90 EUR, Mittelwert: 44.34 EUR
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: 53d3fa3a989ea2227bf446bf00c42a8d

Presentation and Case Studies 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. Bücher / Fremdsprachige Bücher / Englische Bücher 978-3-540-57335-7, Springer

Neues Buch Buch.de
Nr. 1882753 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Versandfertig in 5 - 7 Tagen, DE. (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: 154377474

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 Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.at
No. 1882753 Versandkosten:CL (EUR 8.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: 12752634924

[EAN: 9783540573357], Gebraucht, sehr guter Zustand, [SC: 8798.1], [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 ZVAB.com
getbooks GmbH, Idstein, HE, Germany [55883480] [Rating: 5 (von 5)]
NOT NEW BOOK Versandkosten: EUR 8798.10
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: 12752634924

[EAN: 9783540573357], Gebraucht, sehr guter Zustand, [SC: 3.0], [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 ZVAB.com
getbooks GmbH, Idstein, 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 - 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.

< zum Suchergebnis...
Details zum Buch
The Generic Development Language Deva
Autor:

Weber, Matthias; Lafontaine, Christine; Simons, Martin

Titel:

The Generic Development Language Deva

ISBN-Nummer:

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.

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 15.11.2016 09:44:07
ISBN/EAN: 3540573356

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher