Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.99 € Пункт на Speedy 3.99 € ЕКОНТ 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday 4.49 € Sameday box 4.49 € Box Now 4.49 €
phone Контакт phoneКак се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Език Английски езикАнглийски език
Книга С меки корици
Книга Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Roland Backhouse
Код Либристо: 01564288
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, април 2002
Program construction is about turning specifications of computer software into implementations. Rece... Цялото описание
? points 132 b
54.04 €
105.69  лв
Външен склад Изпращаме след 5-8 дни

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

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

Star Wars Comics: Die Sith und der Skywalker Steven Cummings / Книга С меки корици
common.buy 18.29 € 35.77 лв
Die Untervollmacht. Johann Wilhelm Gerlach / Книга С меки корици
common.buy 39.09 € 76.45 лв
Sherlock, Lupin et moi - Tome 5 Irene Adler / Книга С меки корици
common.buy 9.70 € 18.98 лв
Dört Anahtar / Книга С меки корици
common.buy 13.77 € 26.93 лв
Mafia in Deutschland Philipp Berner / Книга С меки корици
common.buy 16.07 € 31.44 лв
Existenzgrunder-Rating Jörg Becker / Книга С меки корици
common.buy 28.15 € 55.05 лв
Agenda concursal Carrer Méjan / Книга Книга
common.buy 84.24 € 164.77 лв
Edison Kuhlmann torben / Книга С твърди корици
common.buy 27.32 € 53.44 лв
Portrait d'un mariage Nigel Nicolson / Книга С меки корици
common.buy 12.58 € 24.61 лв
Die spannendsten Ritter- und Drachengeschichten Kristin Lückel / Книга С твърди корици
common.buy 10.53 € 20.59 лв
Le Retour de Casanova Arthur Schnitzler / Книга С меки корици
common.buy 16.54 € 32.34 лв
El cerezo Alba Garcia i Puig / Книга С меки корици
common.buy 22.03 € 43.09 лв
Das Beschlußfassungsverfahren des Abkommens über den Europäischen Wirtschaftsraum Martin Gittermann / Книга С меки корици
common.buy 39.60 € 77.46 лв

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.

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

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

Пълно заглавие Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Автор Roland Backhouse, Roy Crole, Jeremy Gibbons
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2002
Брой страници 390
Баркод 9783540436133
ISBN 3540436138
Код Либристо 01564288
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1260
Размери 155 x 235 x 22

Категории

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Applications of Combinatorial Matrix Theory to Laplacian Matrices of Graphs Jason J. Molitierno / Книга С твърди корици
common.buy 298.26 € 583.34 лв
Men Should Come With Warning Labels Sonia Torretto / Книга С меки корици
common.buy 11.55 € 22.60 лв
Freedom's Treasure A K Lawrence / Книга С меки корици
common.buy 10.06 € 19.68 лв
Подготвяме
ALONG THE AVON STRATFORD TO TWEKES JOSEPHINE JEREMIAH / Книга С меки корици
common.buy 6.98 € 13.65 лв
Language of Balinese Shadow Theater Mary Sabine Zurbuchen / Книга С твърди корици
common.buy 170.91 € 334.27 лв
Acting Naughty: Action! Series Book 1 G A Hauser / Книга С меки корици
common.buy 13.25 € 25.91 лв
The Tool Of Hermes Is My Name: A Collection Of Gothic Poetry Anthony Mazzoni / Книга С меки корици
common.buy 7.75 € 15.16 лв
Two Little Knights of Kentucky Annie Fellows Johnston / Книга С меки корици
common.buy 19.77 € 38.67 лв
Geology: A Very Short Introduction Zalasiewicz / Книга С меки корици
common.buy 10.83 € 21.19 лв
61 DIVISION Divisional Troops Royal Army Service Corps Divisional Train (521, 522, 523, 524 Companies A.S.C.) Wo95/3052/3 / Книга С меки корици
common.buy 88.20 € 172.50 лв
Radical Schooling for Democracy Neil Hooley / Книга С твърди корици
common.buy 249.51 € 487.99 лв
Changing Indian Culture under the impact of Globalized Media Sadia Samar Ali / Книга С меки корици
common.buy 46.79 € 91.52 лв
Enchanted Shows HARE / Книга С меки корици
common.buy 54.55 € 106.69 лв
Living My Life EMMA GOLDMAN / Книга С меки корици
common.buy 38.52 € 75.35 лв
Top
A Man And His Cat 5 Umi Sakurai / Книга С меки корици
common.buy 11.96 € 23.40 лв
Brutus Ron Fuller Welch / Книга С меки корици
common.buy 16.02 € 31.34 лв
American Honey Sarah M. Wells / Книга С меки корици
common.buy 18.33 € 35.86 лв
London Activity Book for Kids Hackney and Jones / Книга С меки корици
common.buy 13.97 € 27.32 лв
Lessons From My Animals Jim Reddy / Книга С меки корици
common.buy 20.54 € 40.18 лв
Mystery of the Ambush in India Andy Adams / Аудиокнига MP3
common.buy 52.98 € 103.62 лв
Pokemon Pocket Library Pokemon / Книга Дипляна
common.buy 8.11 € 15.87 лв
Minerals, Collecting, and Value across the US-Mexico Border Elizabeth Emma Ferry / Книга С меки корици
common.buy 31.64 € 61.88 лв
Milton Mark Pattison / Книга С меки корици
common.buy 12.32 € 24.10 лв
Mexico Beach Al Cathey / Книга С твърди корици
common.buy 29.43 € 57.56 лв

Вход

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

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

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

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

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