[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

On the Refinement Calculus

Език Английски езикАнглийски език
Книга С меки корици
Книга On the Refinement Calculus Carroll Morgan
Код Либристо: 05273677
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 1994
On the Refinement Calculus gives one view of the development of the refinement calculus and its atte... Цялото описание
? points 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Günter Grass 'Die Blechtrommel' Günter Grass / С меки корици
common.buy 17.65 лв
Fendt-Traktoren im Wirtschaftswunder, 5 DVDs / DVD
common.buy 118.04 лв
Traditionelle Chinesische Medizin Paul U. Unschuld / С меки корици
common.buy 17.75 лв
Hindi Structures Intermediate Level, with Drills, Exercises, and Key Peter Edwin Hook / С меки корици
common.buy 66.38 лв
Scorsese: Meine italienische Reise, DVD Martin Scorsese / DVD
common.buy 42.06 лв
More Progresses In Analysis - Proceedings Of The 5th International Isaac Congress H. Begehr / С твърди корици
common.buy 1 299.04 лв
Making Sense of the Bible Adam Hamilton / С меки корици
common.buy 27.13 лв
Das Liederbuch 2004-2010 Silbermond / С меки корици
common.buy 83.63 лв
Abissinia Giornale di un viaggio Giuseppe Vigoni / С меки корици
common.buy 75.86 лв
Category Theory and Computer Science Peter Johnstone / С меки корици
common.buy 128.23 лв
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / С меки корици
common.buy 84.84 лв
William Shakespeare - Subject of the Crown? Manuela Sonntag / С меки корици
common.buy 42.87 лв
Modern Electroencephalographic Assessment Techniques Vangelis Sakkalis / С твърди корици
common.buy 252.84 лв
Euro, Inflation and Consumers' Perceptions Paolo Giovane / С меки корици
common.buy 252.84 лв
Multi-Agent System Engineering Magnus Boman / С меки корици
common.buy 128.23 лв
EAT HAPPY Anna Vocino / С твърди корици
common.buy 72.64 лв

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

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

Пълно заглавие On the Refinement Calculus
Автор Carroll Morgan, Trevor Vickers
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1994
Брой страници 159
Баркод 9783540199311
ISBN 3540199314
Код Либристо 05273677
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 280
Размери 155 x 235 x 15

Категории

Mathematics & Science > Mathematics > Calculus & mathematical analysis
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

Създаване на акаунт за Libristo