Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System

Език Английски езикАнглийски език
Книга С меки корици
Книга Program Development by Specification and Transformation Berthold Hoffmann
Код Либристо: 01565644
Издателство Springer, Berlin, ноември 1992
This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram developme... Цялото описание
? points 263 b
108.69 €
212.58  лв
Външен склад Изпращаме след 5-8 дни

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

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

Tout le monde magnetiseur Fernand Girod / E-книга Adobe ePub DRM
common.buy 12.06 € 23.59 лв
La vida secreta de las pupas Ariadna Garcia Turon / E-книга Adobe ePub DRM
common.buy 9.21 € 18.02 лв
Sailor Moon - Staffel 2 (Episoden 47-89) Kunihiko Ikuhara / Видео Blu-ray
common.buy 85.60 € 167.41 лв
LAS PESADILLAS DE MATíAS RICARDO ALCANTARA / Книга С твърди корици
common.buy 9.16 € 17.92 лв
Zillertaler Geigenfest. Folge.11, 1 Audio-CD Various / Аудио Аудио компактдиск
common.buy 18.59 € 36.35 лв
Neuro-Yoga Anna Trökes / Книга С твърди корици
common.buy 22.88 € 44.76 лв
Zirkularitat zwischen Bulimarexie und Borderline-Syndrom Monique Vercoulen / Книга С меки корици
common.buy 35.99 € 70.38 лв
Подготвяме
Důvěrně a otevřeně o sexualitě Nora Donátová / Книга С меки корици
common.buy 5.38 € 10.52 лв

This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram development by SPECificationand TRAnsformation) that aims to provide a rigorousmethodology for developing correct software and acomprehensive support system. The results are substantial: atheoretically well-founded methodology covering the wholedevelopment cycle, a very high-level specification andtransformation language family allowing meta-programdevelopment and formalization of the development processitself, and a prototype development system supportingstructure editing, incremental static-semantic checking,interactive context-sensitivetransformation andverification, development of transformation (meta-)programs, version management, and so on, with an initiallibraryof specifications and a sizeable collection ofimplemented transformations. The intended audience for thisdocumentation is the academic community working in this andrelated areas and those members of the industrial communityinterested in the use of formal methods.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Program Development by Specification and Transformation
Автор Berthold Hoffmann, Bernd Krieg-Brückner
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1993
Брой страници 630
Баркод 9783540567332
ISBN 354056733X
Код Либристо 01565644
Издателство Springer, Berlin
Тегло 806
Размери 156 x 234 x 33

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Dead in Her Tracks Millie Moore / Книга С меки корици
common.buy 19.31 € 37.77 лв
Life Stages and Native Women: Memory, Teachings, and Story Medicine Maria Campbell / Книга С твърди корици
common.buy 74.31 € 145.33 лв
Pinot Girl Anna Maria Ponzi / Книга С меки корици
common.buy 14.29 € 27.94 лв
By the Book: A Meant to Be Novel Jasmine Guillory / Книга С меки корици
common.buy 12.89 € 25.21 лв
Beautiful You: Learning to Love Yourself Audra Blyther / Книга С меки корици
common.buy 10.35 € 20.25 лв
I Want to Come Home Tonight TROY TAYLOR / Книга С меки корици
common.buy 12.16 € 23.79 лв
Crisis, Politics and Critical Sociology Graham Cassano / Книга С твърди корици
common.buy 212.26 € 415.15 лв
Casebook on Roman Property Law Herbert Hausmaninger / Книга С меки корици
common.buy 49.71 € 97.22 лв
On Monsters Stephen T. Asma / Книга С твърди корици
common.buy 24.59 € 48.10 лв
Policy, Technology, and Efficiency of Brazilian Agriculture - Scholar's Choice Edition Constanza Valdes / Книга С меки корици
common.buy 16.31 € 31.89 лв
Radha Mandakini Mathur / Книга С меки корици
common.buy 7.40 € 14.47 лв
Rick Riordan Presents Serwa Boateng's Guide to Vampire Hunting (a Serwa Boateng Novel Book 1) Brown / Книга С меки корици
common.buy 7.71 € 15.08 лв
New Pathways for Organic Synthesis H.M. Colquhoun / Книга С меки корици
common.buy 54.47 € 106.54 лв
Managing the Behaviour of Animals P. Monaghan / Книга С твърди корици
common.buy 162.91 € 318.63 лв
Behavioral Aspects of AIDS David G. Ostrow / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Grandville Bete Noire Bryan Talbot / Книга С твърди корици
common.buy 24.23 € 47.39 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?