Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Specification and Transformation of Programs

Name: Specification and Transformation of Programs
Brand: Springer, Berlin
SKU: 01565301
Price: 60.94 EUR
Availability: InStock
Author: Helmut A. Partsch
ISBN: 9783540525899

A Formal Approach to Software Development

Helmut A. Partsch

Език

Английски език

Книга С меки корици

Код Либристо: 01565301

Издателство Springer, Berlin, юли 1990

"Specification and transformation of programs" is short for a methodology of software development wh... Цялото описание

Код Либристо: 01565301

148 b

60.94 €

119.19 лв

Външен склад в ограничено количество Изпращаме след 11-15 дни

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

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

Svitavsko 1:50 000 neuvedený autor

Карта

5.83 € 11.39 лв

SINGT DEM HERRN EIN NEUES LIED CHANT PETER PLANYAVSKY Книга

binding.

12.17 € 23.81 лв

L'île des lapins : ils sont dingos en Australie Delaven

С меки корици

10.11 € 19.77 лв

Aux sources de l'utopie numérique Turner

С меки корици

35.91 € 70.24 лв

Proč jsem si nekoupil jinou knížku? Martin N. Seif; Sally M. Winston

С меки корици

4.07 € 7.96 лв

Queer Monika Niehaus

С твърди корици

18.99 € 37.13 лв

Petites et moyennes entreprises et numérisation de l'économie Engr. Jazuli S. Kazaure

С меки корици

79.83 € 156.13 лв

Kurze Auszeit (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo

Календар

77.56 € 151.69 лв

DIABLO HOUSE ADAMS

С твърди корици

21.46 € 41.98 лв

Jireenyaa Fi Tajaajila Yesuus Kiristoos: Akka Macaafni Qulqulluun Jedhutti Obbo Dirribaa Ayyelee Saaqqataa

С меки корици

10.32 € 20.18 лв

Ma Mere. Dedicace d'Un Fils A Son Pere JOURDAIN-L

С меки корици

13.67 € 26.74 лв

Baby Animals Michael Poliza

С твърди корици

15.84 € 30.97 лв

7 Divů světa/DUEL - Společenská hra Bruno Cathala

Игра

36.43 € 71.25 лв

Estructura y procesos sociales en el País Vasco Vol. II GURRUCHAGA ABAD

С меки корици

15.68 € 30.67 лв

Voyage Autour Du Monde: Australie Beauvoir-L

С меки корици

29.10 € 56.91 лв

Myší hlídka Zima 1152 David Petersen

С твърди корици

24.20 € 47.33 лв

World Cup Soccer in the Middle East Stephen E Sealy

С меки корици

18.26 € 35.72 лв

Diskursiver Wandel Achim Landwehr

С меки корици

54.70 € 106.97 лв

Religion Und Religiosit t Im Vereinigten Deutschland Gert Pickel

С меки корици

59.65 € 116.66 лв

Mehrkomponentenvertrage nach IFRS Daniel T. Fischer

С меки корици

44.63 € 87.29 лв

Amira - Prinzessin der Wüste Salim Alafenisch

С меки корици

10.37 € 20.28 лв

Příběhy z temné komory Günter Grass

С твърди корици

10.01 € 19.57 лв

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Specification and Transformation of Programs

Автор Helmut A. Partsch

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 1990

Брой страници 493

Баркод 9783540525899

ISBN 3540525890

Код Либристо 01565301

Издателство Springer, Berlin

Тегло 786

Размери 170 x 242 x 26

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

Complexity of Lattice Problems Daniele Micciancio

С твърди корици

275.35 € 538.55 лв

A Story for Kira: The 12 Months of the Year Janet Lynn Smith

С меки корици

11.19 € 21.89 лв

Extracting Appalachia Geoffrey L. Buckley

С меки корици

31.22 € 61.05 лв

Adventure Of The Dying Detective Sir Arthur Conan Doyle

С меки корици

18.37 € 35.92 лв

Deadline Michael Stack

С меки корици

16.77 € 32.79 лв

100 Ideas to Market Your Childcare Business Taffy Gallagher

С меки корици

12.02 € 23.51 лв

Eight Years Wandering In The High Mountains Of Sinai Peninsula Ahmed Shams

С меки корици

117.14 € 229.10 лв

Johannine Grammar Edwin A. Abbott

С меки корици

56.09 € 109.70 лв

Farewell the Trumpets: An Imperial Retreat James Morris

С меки корици

33.07 € 64.69 лв

Portland's Pearl District Christopher S. Gorsek

С меки корици

22.08 € 43.19 лв

Free Will and Human Agency: 50 Puzzles, Paradoxes, and Thought Experiments Garrett Pendergraft

С твърди корици

251.15 € 491.21 лв

Reason I Jump: one boy's voice from the silence of autism Naoki Higashida

С меки корици

11.19 € 21.89 лв

Never Marry the Femme Fatale Miriam F Martin

С меки корици

10.32 € 20.18 лв

Cost of Climate Policy Bryn Sadownik

С твърди корици

121.83 € 238.28 лв

The Thinking Man's 12 Week Guide to Gaining Size Dr R Conrad Bingham

С меки корици

7.63 € 14.93 лв

Planting Churches among the City's Poor: An Anthology of Urban Church Planting R: Volume 2: Resources and Tools for Coaches and Teams Dr Don L Davis

С меки корици

49.79 € 97.39 лв