The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science, 738)

Weber, Matthias; Simons, Martin; Lafontaine, Christine

ISBN 10: 3540573356 ISBN 13: 9783540573357

Editorial: Springer, 1993

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Best Price, Torrance, CA, Estados Unidos de America

Vendedor de AbeBooks desde 30 de agosto de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Nuevo

Precio: EUR 48,49 Convertir moneda

EUR 92,47 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

SUPER FAST SHIPPING.

N� de ref. del art�culo 9783540573357

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science, 738)

Editor

Springer

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

3540573356

ISBN 13

9783540573357

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

50+ Million Books in stock & ready to ship! Excellent Prices, Service & Selection.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Condiciones de venta y env�o

Condiciones de venta

When you see an item on our listing, it means we have it available in one of our warehouses right here right now, ready for same day or next day processing of your order. Over 50+ Million books in stock & ready to ship same day. Customer Service is a top priority for us, we want every customer to be 100% satisfied. We offer the world's largest selection of books, music and video. Maintaining an accurate inventory of more than 50+ Million items, we are able to ship your order the same day it is r...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

SUPER FAST SHIPPING!

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 59 a 60 d�as h�biles	De 59 a 60 d�as h�biles
Primer art�culo	EUR 92.47	EUR 111.30

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.