Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

The Generic Development Language Deva

Name: The Generic Development Language Deva
Brand: Springer, Berlin
SKU: 01565720
Price: 54.3 EUR
Availability: InStock
Author: Matthias Weber
ISBN: 9783540573357

Presentation and Case Studies

Matthias Weber

Martin Simons

Christine Lafontaine

Език

Английски език

Книга С меки корици

Код Либристо: 01565720

Издателство Springer, Berlin, ноември 1992

This book summarizes work done by the authors under the Esprit Tool Use project (1985 - 1990), at GM... Цялото описание

Код Либристо: 01565720

132 b

54.30 €

106.21 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Une histoire avec Marseille, Saint Pierre Calife

С меки корици

17.60 € 34.42 лв

Salz & Eisen

С меки корици

57.76 € 112.98 лв

Beiträge zur Naturkunde Preussens Gustav L. Mayr

С меки корици

14.45 € 28.26 лв

La próstata : todo lo que necesita saber sobre la glándula masculina YOSH TAGUCHI

С меки корици

22.35 € 43.71 лв

Malbuch mit Desserts und Cupcakes fur Erwachsene 3 Nick Snels

С меки корици

14.97 € 29.27 лв

Gesetzestexte Fachkraft für Schutz und Sicherheit Thorsten Ansorge

С меки корици

27.25 € 53.30 лв

Ouregano Paule Constant

С меки корици

13.68 € 26.75 лв

China Juan Pablo Cardenal Nicolau

С меки корици

36.39 € 71.17 лв

Europoly Jörg Lachance

С меки корици

13.88 € 27.15 лв

This book summarizes work done by the authors under the Esprit Tool Use project (1985 - 1990), at GMDin 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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие The Generic Development Language Deva

Автор Matthias Weber, Martin Simons, Christine Lafontaine

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 1993

Брой страници 251

Баркод 9783540573357

ISBN 3540573356

Код Либристо 01565720

Издателство Springer, Berlin

Тегло 346

Размери 216 x 279 x 14

Може би ще Ви заинтересува

AI for People, Democratizing AI Marta Ziosi

С меки корици

65.15 € 127.41 лв

Intuitionistic Fuzzy Sets Krassimir T. Atanassov

С твърди корици

183.26 € 358.43 лв

Training of Inferior East Asian women: PART II of Confessions of Submissive East Asian women Jennifer Suzuki

С меки корици

9.08 € 17.76 лв

Critical Role: Vox Machina Coloring Book Olivia Samson

С меки корици

15.74 € 30.79 лв

Melodica for Absolute Beginners. Play by Letter. Learn to Transpose Helen Winter

С меки корици

13.00 € 25.43 лв

Curveballs Catherine Mardon

С меки корици

25.03 € 48.96 лв

Medical Marijuana Joan Liebmann-Smith

С твърди корици

30.40 € 59.46 лв

My First Thirty Years Marie Bennett

С меки корици

13.57 € 26.54 лв

A Manual of Medical Jurisprudence and State Medicine Michael Ryan

С меки корици

29.68 € 58.05 лв

Snow Queen Hans Christian Andersen

С твърди корици

9.34 € 18.27 лв

Murder in the Gunroom Henry Beam Piper

С меки корици

10.32 € 20.18 лв

Handbook to English Romanticism Jean Raimond

С меки корици

56.01 € 109.54 лв

Building Trust Fumiko Hosokawa

С твърди корици

133.86 € 261.81 лв

LEYES DEL TERRITORIO DE NUEVO MEJICO NEW MEXICO

С твърди корици

30.66 € 59.97 лв

Catalogue of the Byzantine Coins in the Dumbarton Oaks Collection and in the Whittemore Collection, 4: Alexius I to Michael VIII, 1081-1261 Michael F. Hendy

С твърди корици

286.21 € 559.77 лв