The Generic Development Language Deva: Presentation and Case Studies - Matthias Weber; Martin Simons; Christine Lafontaine; | Foyles Bookstore
Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
The Generic Development Language Deva: Presentation and Case Studies
Foyalty 180

The Generic Development Language Deva: Presentation and Case Studies (Paperback)

£59.99
Usually despatched within 3 weeks.

Synopsis

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.

Computing & ITComputer programming / software developmentProgramming & scripting languages: generalComputing & ITComputer science Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 28/10/1993 ISBN-13: 9783540573357  Details: Type: Paperback Format: Books
Availability: Usually despatched within 3 weeks. Add to Basket

More books by Matthias Weber

More books by Martin Simons

More books by Christine Lafontaine

Leave Review

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

 

Location 1st Book Each additional book Average Delivery Time
Free UK Standard Delivery on Orders Over £25 (2nd Class)     3-5 Days
UK Standard Delivery (2nd Class) £2.99 £0.00 3-5 Days
UK 1st Class Delivery £3.99 £0.00 2-3 Days

Click & Collect / 
Delivery to a Foyles Bookshop

 

Free Free Click and Collect and Delivery to Store is available for all our shops. Collection times will vary depending on availability of items. Individual despatch times for each item will be given at checkout.
Please wait for order arrival confirmation email before making a journey to collect.
UK Courier* £7.95 £0.00 1 Working Day
Western Europe Airmail** £9.00 £1.00 7-8 Days
Rest of World Airmail*** £12.50 £1.00 7-10 Days

* For courier service please contact the Charing Cross Road store

** Includes Austria, Belgium, Cyprus, Czech Republic, France, Germany, Greece, Ireland, Italy, Luxembourg, Malta, The Netherlands, Portugal, Spain, Sweden, Switzerland

*** We are currently unable to delivery to the following countries - Afghanistan, Bangladesh, Ghana, Iraq, Lebanon, Macao, Pakistan, Puerto Rico, Saint Barthelemy, Turkey, Uzbekistan, Virgin Island US

For goods delivered outside of the UK, the consignee (ie the person to whom the consignment is sent) will be the declarant and importer into the country for which the consignment is destined. The consignee will be responsible for both customs clearance and payment of customs duties and local taxes where required.

Customs Charges - if you are ordering goods for delivery outside of the UK, please note that your consignment may be subject to VAT (Value Added Tax), other taxes, customs duties and/or fees levied by the destination country. Any such charges levied in relation to customs clearance must be borne by you. It is accepted by you that Foyles has no control over additional charges in relation to customs clearance. Foyles recommend that you check with your local customs officials or post office for more information regarding importation taxes/duties that may be applicable to your online order.

Delivery Help & FAQs

A Year of Books Subscription Packages 

Delivery is free for the UK. Western Europe costs £60 for each 12 month subscription package purchased. For the Rest of the World the cost is £100 for each package purchased. All delivery costs are charged in advance at time of purchase. For more information please visit the A Year of Books page.
 

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Blue Fox: Arm Assembly Internals and...
(Paperback)
Maria Markstedter
 
 
£34.99
 
Java EE to Jakarta EE 10 Recipes: A...
(Paperback)
Josh Juneau; Tarun Telang
 
 
£39.99
 
The Big Book of Drones
(Hardback)
Ralph DeFrangesco; Stephanie...
 
 
£55.99
 
Beginning Programming All-in-One For...
(Paperback)
Wallace Wang
 
 
£27.99
 
© W&G Foyle Ltd