Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
The Generic Development Language Deva: Presentation Case Studies (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
11 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2017 | 2023 |
---|---|---|---|---|---|
Schnitt | € 35,97 | € 52,94 | € 64,91 | € 74,99 | € 60,62 |
Nachfrage |
The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science 738) (1993)
ISBN: 9780387573359 bzw. 0387573356, in Englisch, Springer-Verlag, Berlin, Taschenbuch, gebraucht.
Lecture Notes in Computer Science 738; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.
The Generic Development Language Deva: Presentation and Case Studies (Paperback) (1993)
ISBN: 9783540573357 bzw. 3540573356, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Language: English Brand New Book ***** Print on Demand *****.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.
The Generic Development Language Deva
ISBN: 9783540573357 bzw. 3540573356, in Deutsch, Springer, Berlin, Taschenbuch, neu.
buecher.de GmbH & Co. KG, [1].
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 mmVersandfertig in 3-5 Tagen, Softcover.
The Generic Development Language Deva (1990)
ISBN: 9783540573357 bzw. 3540573356, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
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. Soft cover.
The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science) (1993)
ISBN: 9780387573359 bzw. 0387573356, in Englisch, 246 Seiten, Springer-Verlag, Taschenbuch, gebraucht.
Von Händler/Antiquariat, zubal-book.
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. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1993-10, Studio: Springer-Verlag.
The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science) (1993)
ISBN: 9780387573359 bzw. 0387573356, in Englisch, 246 Seiten, Springer-Verlag, Taschenbuch, gebraucht, Erstausgabe.
Von Händler/Antiquariat, betterworldbooks_.
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. Paperback, Ausgabe: First Edition, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1993-10, Studio: Springer-Verlag.
The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science) (1993)
ISBN: 9783540573357 bzw. 3540573356, in Deutsch, Springer, gebraucht, Erstausgabe.
Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside.
The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science) (1993)
ISBN: 9780387573359 bzw. 0387573356, in Englisch, Springer-Verlag, gebraucht.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Shows some signs of wear, and may have some markings on the inside.
The Generic Development Language Deva
ISBN: 9783540573357 bzw. 3540573356, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Presentation and Case Studies Lecture Notes in Computer Science. 1993. Auflage, Presentation and Case Studies Lecture Notes in Computer Science. 1993. Auflage.
The Generic Development Language Deva: Presentation and Case Studies (1993)
ISBN: 9780387573359 bzw. 0387573356, in Englisch, Springer Verlag, Taschenbuch, neu.
246 pages. 9.20x6.00x0.40 inches. In Stock.