Menu
Виж статуса на поръчката
Свържете се с нас
Книга Recent Trends in Data Type Specification, 1 Hans-Jörg Kreowski

Recent Trends in Data Type Specification, 1

3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

Автор: Hans-Jörg Kreowski
Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад в ограничено количество
Изпращаме след 13-18 дни
59.14 € 115.66 лв
This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl icat...

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

Автор
Hans-Jörg Kreowski
Език
Английски език
Корици
Книга - С меки корици
Издадена
1985
страници
253
EAN
9783540160779
ISBN
3540160779
Enbook ID
02004725
Издател
Springer, Berlin
Теглоt
467
Размери
170 x 244 x 14

Пълно описание

This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice. The theoretical con tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify.

Може също да ви хареса

Digital Interaction and Machine Intelligence

Cezary Biele
230.95 € 451.70 лв

Applied Infrared Spectroscopy Fundamentals Techniques and Analytical Problem-Solving

A.Lee Smith
412.08 € 805.95 лв

Donut Emails

George Schnurle
18.67 € 36.52 лв

Crazed and Deadly Obsessions

Therapy
18.67 € 36.52 лв

Shireen and her Friends

Gordon Stables
24.78 € 48.47 лв

King Leopold's Soliloquy

Mark Twain
24.28 € 47.49 лв

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

Dominación sensual : erotismo, poder y dominación femenina

Claudia Varrin
25.63 € 50.14 лв

Czyje to farby

Kwapińska Małgorzata
12.46 € 24.38 лв

Warrior Cats - DEINE Welt der Clans.

Tanja Hamer
13.42 € 26.24 лв

Normas tributarias de Navarra 2006

41.96 € 82.06 лв

I am Thankful (Japanese English Bilingual Children's Book)

Kidkiddos Books
25.18 € 49.25 лв

Too Much Touch

Gal Weizman
7.91 € 15.47 лв

Pilze - die Stars der Waldbühne (Tischkalender 2026 DIN A5 quer), CALVENDO Monatskalender

Calvendo
19.17 € 37.50 лв