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

Program Development by Refinement

Case Studies Using the B Method

Език Английски езикАнглийски език
Книга С меки корици
Книга Program Development by Refinement Emil Sekerinski
Код Либристо: 01435128
Издателство Springer London Ltd, октомври 1998
This volume contains a collection of case studies in program refinement with the B Method. They show... Цялото описание
? points 514 b
212.68 €
415.96  лв
Външен склад Изпращаме след 5-8 дни

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

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

LE PROPHETE ARABE/FRANCAIS KHALIL / Книга С меки корици
common.buy 14.29 € 27.94 лв
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Книга С меки корици
common.buy 14.60 € 28.55 лв
Contabilidad social y medioambiental ANTONIO SOMOZA / Книга С меки корици
common.buy 26.66 € 52.15 лв
La gran mentira de la economía : y por qué el futuro será mejor que el pasado a pesar de todo Gonzalo Bernardos Domínguez / Книга С меки корици
common.buy 21.12 € 41.31 лв
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Книга С меки корици
common.buy 7.09 € 13.87 лв
S.O.S. dent perdue ! Pascal Prevot / Книга С твърди корици
common.buy 11.13 € 21.77 лв
Eisblume Heinz-Peter Engertsberger / Книга С меки корици
common.buy 12.42 € 24.30 лв
Handbuch des Roemischen Privatrechts Christian Baldus / Книга С твърди корици
common.buy 657.21 € 1 285.38 лв
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Книга С меки корици
common.buy 23.71 € 46.38 лв
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Книга С меки корици
common.buy 81.30 € 159.01 лв
En finir avec le couple Stéphane Rose / Книга С меки корици
common.buy 21.54 € 42.12 лв
NSU Udo Schulze / Книга С меки корици
common.buy 13.41 € 26.22 лв
Kultureller Verlust Arnold Groh / Книга С меки корици
common.buy 35.99 € 70.38 лв
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Книга С меки корици
common.buy 21.18 € 41.42 лв
Apotheoses Et Imprecations PYTHAGORE / Книга С меки корици
common.buy 14.60 € 28.55 лв
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Книга С меки корици
common.buy 7.19 € 14.07 лв
Sword Art Online - Progressive 04 Reki Kawahara / Книга С меки корици
common.buy 8.18 € 15.99 лв

This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.

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

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

Пълно заглавие Program Development by Refinement
Автор Emil Sekerinski, Kaisa Sere
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1998
Брой страници 364
Баркод 9781852330538
ISBN 1852330538
Код Либристо 01435128
Издателство Springer London Ltd
Тегло 1130
Размери 155 x 235 x 20

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Книга С меки корици
common.buy 15.22 € 29.77 лв
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Книга С меки корици
common.buy 72.60 € 141.99 лв
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Книга С меки корици
common.buy 25.63 € 50.13 лв
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Книга С меки корици
common.buy 14.86 € 29.06 лв
Progressive Censoring Rita Aggarwala / Книга С твърди корици
common.buy 185.70 € 363.19 лв
The Prince And The Pauper Part 1 Mark Twain / Книга С меки корици
common.buy 8.54 € 16.70 лв
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Книга С меки корици
common.buy 8.33 € 16.30 лв
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Книга С меки корици
common.buy 28.99 € 56.71 лв
East Windsor Ceil Donahue / Книга С твърди корици
common.buy 24.59 € 48.10 лв
The Great Physicists From Galileo To Einstein George Gamow / Книга С меки корици
common.buy 36.40 € 71.19 лв
Making Spaces Safer Shawna Potter / Книга С меки корици
common.buy 12.16 € 23.79 лв
An Account Of The Harvard Greek Play (1881) Henry Norman / Книга С меки корици
common.buy 20.19 € 39.49 лв
Maria Llovet's Eros/Psyche Llovet / Книга С твърди корици
common.buy 23.61 € 46.18 лв
Top
Bake Paul Hollywood / Книга С твърди корици
common.buy 29.36 € 57.42 лв
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Книга С твърди корици
common.buy 24.90 € 48.71 лв
Изгодно
Interior Wiring and Systems for Electric Light and Power Sevice: A Manual of Practice for Electrical Workers, Contractors, Architects and Schools Arthur Leroy Cook / Книга С твърди корици
common.buy 27.23 € 53.27 лв
Stop Them Dead Peter James / Книга С меки корици
common.buy 13.04 € 25.51 лв
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Книга С твърди корици
common.buy 249.65 € 488.28 лв
Other Side of Innovation Vijay Govindarajan / Книга С твърди корици
common.buy 26.87 € 52.56 лв
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Kennedy in Berlin Hans-Michael Koetzle / Книга С твърди корици
common.buy 22.11 € 43.24 лв
Dynamics of Drivers of Organizational Change Nicole Zimmermann / Книга С меки корици
common.buy 54.47 € 106.54 лв
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Книга С твърди корици
common.buy 227.39 € 444.73 лв
Law without Values Albert W. Alschuler / Книга С твърди корици
common.buy 115.79 € 226.46 лв

Вход

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

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

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

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

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