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

6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994

Език Английски езикАнглийски език
Книга С меки корици
Книга 6th Refinement Workshop David Till
Код Либристо: 02172593
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 1994
This volume contains the papers presented at the 6th Refinement Workshop which was held in London fr... Цялото описание
? points 125 b
51.74 €
101.19  лв
Външен склад Изпращаме след 5-8 дни

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

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

Detektivové a zloději kabelek Zuzana Pospíšilová / Книга С твърди корици
common.buy 8.54 € 16.71 лв
Olejové pastely Pentel Artist 16 ks / Книга binding.
common.buy 3.36 € 6.58 лв
Mozak bez granica Jim Kwik / Книга С меки корици
common.buy 14.91 € 29.17 лв
Telemarketing experto: Como conseguir reuniones para ventas rapidamente Bernard Levine / E-книга Adobe ePub DRM
common.buy 3.00 € 5.87 лв
Alpenrosen und Gentianen Joseph Bajovar / Книга С твърди корици
common.buy 33.92 € 66.34 лв
L'opinion et la foule Gabriel Tarde / Книга С меки корици
common.buy 14.65 € 28.66 лв
The Studio Albums 1970-1977 (Super Deluxe) T.Rex Аудио Аудио компактдиск
common.buy 73.75 € 144.25 лв
Enzo Ferrari VAN DEN ABEELE / Книга С меки корици
common.buy 34.49 € 67.46 лв
Gra Dobble Super Mario / Книга binding.
common.buy 17.61 € 34.43 лв
AULA C1. ED. ANOTADA PARA DOCENTES MARTINEZ LARA / Книга С меки корици
common.buy 37.08 € 72.52 лв
Ďáblův sluha Vlastimil Vondruška / Книга С твърди корици
common.buy 13.20 € 25.82 лв
ESPERANÇA ACTIVA JOANNA MACY / Книга С меки корици
common.buy 27.08 € 52.97 лв
DANIEL PINKHAM: ANGELUS AD PASTORES AIT (CHORAL-FEMALE ACCOMPANIED) PINKHAM Книга binding.
common.buy 29.31 € 57.33 лв
History Of Monuments Qingsong / Книга binding.
common.buy 104.62 € 204.63 лв
Vjačeslav Ivanov Und Seine Deutschsprachigen Verleger: Eine Chronik in Briefen Michael Wachtel / Книга С меки корици
common.buy 93.54 € 182.95 лв
Péťa a tma collegium / Книга Дипляна
common.buy 7.66 € 14.98 лв
Symbolické jednání v kultuře raného novověku collegium / Книга С твърди корици
common.buy 14.03 € 27.44 лв
TERRA Erdkunde 5/6. Differenzierende Ausgabe Niedersachsen, Bremen, Schleswig-Holstein / Книга С твърди корици
common.buy 32.94 € 64.42 лв
Dotyk jako lék z pohledu čínské medicíny Renata Lien Čepelková / Книга С меки корици
common.buy 9.42 € 18.43 лв
10 Auswahlkriterien fur Web-Frameworks David Badstübner / Книга С меки корици
common.buy 52.62 € 102.92 лв
Handwritten Shawn Mendes / Аудио Аудио компактдиск
common.buy 14.50 € 28.36 лв
Greatest Hits Shania Twain / Аудио Аудио компактдиск
common.buy 9.89 € 19.34 лв
Branche Transport & Logistik Gbi Genios / Книга С меки корици
common.buy 44.69 € 87.42 лв

This volume contains the papers presented at the 6th Refinement Workshop which was held in London from 5 - 7 January 1994. The theme of the workshop was "the theory and practice of formal software development", and papers with industrial relevance were particularly encouraged. The papers address both the formal mathematical infrastructure of methods, and the practical application of formal development methods in commerce and industry. Among the specific topics covered are the formal development of authentication protocols, operation semantics with read and write frames, and the testing and safety analysis of abstract machine specifications. This volume will be of interest to academic and industrial researchers, postgraduate students, and research-oriented developers in the computer industry. The proceedings of the previous three Refinement Workshops are also available in the series.

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

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

Пълно заглавие 6th Refinement Workshop
Автор David Till
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1994
Брой страници 309
Баркод 9783540198864
ISBN 3540198865
Код Либристо 02172593
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 505
Размери 155 x 235 x 26

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

21 IOT EXPERIMENTS Yashavant Kanetkar / Книга С меки корици
common.buy 28.53 € 55.81 лв
Arab TV-Audiences Ehab Galal / Книга С твърди корици
common.buy 47.91 € 93.70 лв
Birds of Berwickshire; With Remarks on Their Local Distribution Migration, and Habits, and Also on the Folk-Lore, Proverbs, Popular Rhymes and Sayings George Muirhead / Книга С твърди корици
common.buy 38.32 € 74.96 лв
Top
Pete the Cat: Too Cool for School Kimberly Dean / Книга С меки корици
common.buy 5.49 € 10.73 лв
A Life-Giving Way: A Commentary on the Rule of St. Benedict Esther de Waal / Книга С меки корици
common.buy 28.59 € 55.91 лв
How to Make Lampshades Ruth Collins Allen / Книга С меки корици
common.buy 29.67 € 58.04 лв
Sweet Life Brandie E Gowey / Книга С твърди корици
common.buy 25.12 € 49.12 лв
Marriage and Heredity J. F. NISBET / Книга С меки корици
common.buy 24.39 € 47.70 лв
Secret Life of Pets: Pet Tails Stephane Lapuss / Книга С твърди корици
common.buy 11.49 € 22.48 лв
Environmental Integration in Competition and Free-Movement Laws Julian Nowag / Книга С твърди корици
common.buy 175.22 € 342.70 лв
Inventory, Evaluation and Projection of Manufacturing in Topeka, Kansas Lloyd A. Stjernberg / Книга С меки корици
common.buy 19.37 € 37.88 лв
For the Love of Woodstock Ioana Cosma / Книга С меки корици
common.buy 18.69 € 36.56 лв
Chip War: The Fight for the World's Most Critical Technology MILLER CHRIS / Книга С твърди корици
common.buy 24.60 € 48.11 лв
Top
The Traitor Queen Danielle L. Jensen / Книга С меки корици
common.buy 12.69 € 24.81 лв
Top
Absolutely Everything! Revised and Updated: A History of Earth, Dinosaurs, Rulers, Robots, and Other Things Too Numerous to Mention Andy Forshaw / Книга С твърди корици
common.buy 19.47 € 38.08 лв
1000 Cryptogram Puzzle Book CS Puzzle Books / Книга С меки корици
common.buy 15.59 € 30.48 лв
12th International Conference on Jet Cutting Technology N.G. Allen / Книга С твърди корици
common.buy 360.29 € 704.67 лв
100 Masters of Bishojo Painting / Книга С меки корици
common.buy 27.40 € 53.58 лв
Planets to Cosmology Mario Livio / Книга С твърди корици
common.buy 176.31 € 344.83 лв
Top
THROUGH THE LOOKING GLASS Lewis Carroll / Книга Книга
common.buy 3.78 € 7.39 лв
Land Use Planning - Scholar's Choice Edition U. S. Air Force / Книга С меки корици
common.buy 19.21 € 37.57 лв
50 Dramatic Engagers for Learning and Performance Carmen White Lennie Smith / Книга С меки корици
common.buy 20.09 € 39.30 лв
Изгодно
Dynamics and Bifurcations Jack K. Hale / Книга С твърди корици
common.buy 80.75 € 157.92 лв
Lotus Sutra Gene Reeves / Книга С меки корици
common.buy 19.47 € 38.08 лв

Вход

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

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

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

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

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