Computers & Internet Books:

The Generic Development Language Deva

Presentation and Case Studies
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!
$156.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 2-3 weeks
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.00 with Afterpay Learn more

6 weekly interest-free payments of $26.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 8-20 May using International Courier

Description

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.
Release date NZ
October 28th, 1993
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
XIII, 251 p.
Pages
251
Dimensions
216x279x14
ISBN-13
9783540573357
Product ID
2809311

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...