Проверка на състоянието на поръчката
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€

Specification and Transformation of Programs

A Formal Approach to Software Development

Език Английски езикАнглийски език
Книга С твърди корици
Книга Specification and Transformation of Programs Helmut A. Partsch
Код Либристо: 01565285
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 1990
Specification and Transformation of Programs is short for a methodology of software development wher... Цялото описание
? points 129 b
53.20 €
104.05  лв
Външен склад Изпращаме след 10-13 дни

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

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

Подготвяме
Funko POP Animation: Demon Slayer - Mitsuri Kanroji #1852 Игра/играчка Играчка
common.buy 21.57 € 42.18 лв
Nucléaire : les chemins de l'uranium Morvan / Книга С меки корици
common.buy 27.81 € 54.39 лв
MEMOIRES ETHIOPIENNES Bessette / Книга С меки корици
common.buy 43.60 € 85.27 лв
Las tres vidas del pintor de la luz Alandes / Книга С меки корици
common.buy 19.76 € 38.65 лв
@TheBlogFrom Barcelona Silva de Villena / Книга С твърди корици
common.buy 12.79 € 25.02 лв
1000 Dansk Gujarati Illustreret Tosproget Ordforråd (Farverig Udgave) Laura Andersen / Книга С меки корици
common.buy 13.88 € 27.14 лв
Top
Psychologie buddhistické tantry Rob Preece / Книга Книга
common.buy 13.00 € 25.42 лв
Изгодно
Лучшая версия себя. Правила обретения счастья и смысла на работе и в жизни Маршалл Голдсмит / Книга С меки корици
common.buy 5.21 € 10.18 лв
Das >Bellum Iudaicum< des Ambrosius Otto Zwierlein / Книга С твърди корици
common.buy 153.36 € 299.95 лв
Měsíční čarodějky - Vlci zvěrokruhu Elizabeth Briggsová / Книга С меки корици
common.buy 17.95 € 35.11 лв
Tierisch süße Häkelfreunde - Waldtiere und Feen Erinna Lee / Книга С меки корици
common.buy 13.52 € 26.43 лв
La Vulgarisation médicale. Allocution, 17 avril 1893 Ernest Monin / Книга С меки корици
common.buy 12.69 € 24.82 лв
Cómo funcionan las startups en los países en desarrollo Marcus Goncalves / Книга С меки корици
common.buy 57.38 € 112.22 лв
Yonsei Hangugeo : maîtriser le coréen en 3 semaines (niveau 2)(CD inclu) / Книга С меки корици
common.buy 44.32 € 86.69 лв
Top
Am kürzeren Ende der Sonnenallee von Thomas Brussig: Lektüreschlüssel mit Inhaltsangabe, Interpretation, Prüfungsaufgaben mit Lösungen, Lernglossar. ( Mathias Kieß / Книга С меки корици
common.buy 7.01 € 13.72 лв
Chemie 8 - nová generace Škoda Jiří / Книга С меки корици
common.buy 9.54 € 18.66 лв
Minakata Kumagusu Satoshi Ohara / Книга С меки корици
common.buy 22.29 € 43.59 лв
Květinová zkouška Jay Lake / Книга С меки корици
common.buy 9.80 € 19.17 лв
Lambacher Schweizer Mathematik Abitur- und Klausurtraining Leistungskurs. Ausgabe Rheinland-Pfalz / Книга С меки корици
common.buy 23.89 € 46.72 лв
Erzählungen 1933-1947 Anna Seghers / Книга С твърди корици
common.buy 36.48 € 71.35 лв
Die Kündigung von Betriebsvereinbarungen über betriebliche Sozialleistungen. Marcus Sommer / Книга С меки корици
common.buy 61.51 € 120.30 лв
Technische Analyse als Unterstutzung von Investmentstrategien - Eine empirische Untersuchung von Anlagesystematik und verhaltensbezogenem Erklarungsan Andreas Puchta / Книга С меки корици
common.buy 45.20 € 88.40 лв
So machen Kitas Demokratiebildung Elisabeth Richter / Книга С меки корици
common.buy 29.87 € 58.43 лв
Lo Social Como Institucion Imaginaria Cristiano Javier / Книга С меки корици
common.buy 46.23 € 90.42 лв

Specification and Transformation of Programs is short for a methodology of software development where, from a formal specification of a problem, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. This book is primarily intended as a general introductory textbook. It can also be seen as a comprehensive account of the transformational methodology developed within the Munich CIP project. The contents of the book reflect the essential steps in a sequential process of software development from an informally stated problem, via a formal problem specification, to a final, efficient program. Aspects considered include linguistic means for describing the various intermediate stages in the process, individual techniques for the transition between these stages, and strategies for applying these techniques. All aspects are illustrated by representative examples.

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

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

Пълно заглавие Specification and Transformation of Programs
Автор Helmut A. Partsch
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1990
Брой страници 493
Баркод 9783540523567
ISBN 3540523561
Код Либристо 01565285
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 2630
Размери 178 x 254 x 32

Категории

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Ecophysiology of Economic Plants in Arid and Semi-Arid Lands Gerald E. Wickens / Книга С твърди корици
common.buy 183.19 € 358.29 лв
For Valour: The Air VCs of World War II Murray McLeod / Книга С меки корици
common.buy 21.10 € 41.27 лв
Too Clever by Half; Or, the Harroways. by the Mofussilite [I.E. J. L.]. John Lang / Книга С меки корици
common.buy 21.98 € 42.99 лв
Thane of Wessex Charles Watts Whistler / Книга С меки корици
common.buy 20.22 € 39.55 лв
Niamh and the Viking Prince Robert (University of Missouri) Collins / Книга С меки корици
common.buy 21.05 € 41.17 лв
Amused to Death, 1 Audio-CD Roger Waters / Аудио Аудио компактдиск
common.buy 17.70 € 34.61 лв
John Buchan and the Idea of Modernity Kate Macdonald / Книга С меки корици
common.buy 75.03 € 146.74 лв
Second Address to the Inhabitants of the Two Great Cities of London and Westminster Matthew Tindal / Книга С твърди корици
common.buy 30.65 € 59.94 лв
YuYu Hakusho, Vol. 18 Yoshihiro Togashi / Книга С меки корици
common.buy 9.90 € 19.37 лв
Designer & Client: Eight Boat Design Commissions, from Kayak to Cruiser Antonio Dias / Книга С меки корици
common.buy 22.08 € 43.19 лв
Christina's Pocket Posh Journal, Mum Andrews McMeel Publishing / Книга С меки корици
common.buy 7.68 € 15.03 лв
Top
Casino Royale FLEMING IAN / Книга С меки корици
common.buy 15.01 € 29.36 лв
Shark Attacks Blake Chapman / E-книга Adobe ePub DRM
common.buy 28.74 € 56.21 лв
Wondrous: 25 True UFO Encounters Christine Kesara Dennett / Книга С меки корици
common.buy 14.75 € 28.86 лв
That Old Familiar Pain Sandison Edward / Книга С меки корици
common.buy 15.53 € 30.37 лв
Top
Caraval Stephanie Garber / Книга С меки корици
common.buy 9.95 € 19.47 лв
Dr. Fegg's Encyclopaedia of All World Knowledge Terry Jones / Книга С меки корици
common.buy 21.67 € 42.38 лв
Cool, Sexy & Dead Clifford Thurlow / Книга С меки корици
common.buy 10.26 € 20.07 лв
Writing Prompts Journal: How Successful People Think and the Rules for Happy Life Jack Brown / Книга С меки корици
common.buy 13.67 € 26.74 лв
The silent South, together with The freedman's case in equity and the convict lease system. By: George W. Cable: George Washington Cable (October 12, George W Cable / Книга С меки корици
common.buy 9.34 € 18.26 лв
Harrigan Max Brand / Книга С меки корици
common.buy 13.05 € 25.52 лв
Further Adventures of Sherlock Holmes - The Improbable Prisoner Stuart Douglas / Книга С меки корици
common.buy 11.81 € 23.10 лв
Correspondence of Assurbanipal, Part I Simo Parpola / Книга С меки корици
common.buy 58.00 € 113.43 лв
Modern Science and the Orthodox Tradition: An Uneasy Relationship Vasilios Makrides / Книга С твърди корици
common.buy 140.15 € 274.11 лв

Вход

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

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

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

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

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