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

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods for Open Object-Based Distributed Systems Gilles Barthe
Код Либристо: 01567776
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2008
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on F... Цялото описание
? points 132 b
54.30 €
106.21  лв
Външен склад Изпращаме след 5-8 дни

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

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

Návrat k Bohu Karl Jakob Hirsch / Книга С твърди корици
common.buy 10.06 € 19.68 лв
Koruna Evropy Jaromír Zaoral / Книга С твърди корици
common.buy 22.66 € 44.32 лв
Polítiques d'inserció sociolaboral Rosell Morales / Книга С меки корици
common.buy 26.43 € 51.69 лв
La isla en el horizonte Echavarría (Puerto Rico) / Книга С меки корици
common.buy 18.63 € 36.44 лв
La Caída de Porthos Embilea,: El País de la Niebla 2 Galán / Книга С меки корици
common.buy 22.09 € 43.20 лв
Гигиена животных. Рабочая тетрадь для лабораторно-практических занятий и самостоятельной работы. Учебное пособие для вузов А.Ф. Кузнецов / Книга С меки корици
common.buy 23.90 € 46.74 лв
Argumente kontra Religion Gottfried Beyvers / Книга С меки корици
common.buy 17.70 € 34.62 лв
Jóga Rhyner Hans H. / Книга С меки корици
common.buy 9.80 € 19.17 лв
Teología de bolsillo: Breve diccionario de la religión cristiana Iago Gómez Bellas / Книга С меки корици
common.buy 26.43 € 51.69 лв
Top
millonario de la puerta de al lado (EXITO) (Spanish Edition) Thomas J. Stanley / Книга С меки корици
common.buy 15.79 € 30.89 лв
O Bairro de Gonçalo M. Tavares Fabiano Cardoso / Книга С меки корици
common.buy 51.72 € 101.16 лв
Branche Versicherungen Gbi Genios / Книга С меки корици
common.buy 47.13 € 92.18 лв
Einführung eines integrierten ERP-Systems bei einem IT-Dienstleister Patrick Herzog / Книга С меки корици
common.buy 52.45 € 102.58 лв
Zur Geschichte Der Religion Und Philosophie in Deutschland Heinrich Heine / Книга С твърди корици
common.buy 23.64 € 46.23 лв
Qualitat von Verkehrskenngroessen aus Videomessungen Hilger Schneider / Книга С меки корици
common.buy 17.08 € 33.41 лв

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.§The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

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

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

Пълно заглавие Formal Methods for Open Object-Based Distributed Systems
Автор Gilles Barthe
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 259
Баркод 9783540688624
ISBN 3540688625
Код Либристо 01567776
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 427
Размери 155 x 235 x 16

Категории

Computing & Information Technology > Computer hardware > Network hardware
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 > Operating systems
Computing & Information Technology > Computer networking & communications
Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Dodger and Me Jordan Sonnenblick / Книга С меки корици
common.buy 12.44 € 24.32 лв
Haitians Jean Casimir / Книга С твърди корици
common.buy 113.31 € 221.62 лв
The High Crosses of Ireland J. Romilly Allen / Книга С твърди корици
common.buy 36.29 € 70.97 лв
The Sultan Of Sulu: An Original Satire In Two Acts (1903) George Ade / Книга С меки корици
common.buy 22.14 € 43.31 лв
Krechinsky's Wedding: A Comedy in Three Acts Alexander Sukhovo-Kobylin / Книга С меки корици
common.buy 20.23 € 39.57 лв
Friend in My Head: How to Set Your Goals For Success in Life Birdie Chesson / Книга С меки корици
common.buy 10.32 € 20.18 лв
1000 Mixed Sudoku Puzzles for Smart Minds: Perfect as a Birthday Present - Puzzle Book with Solutions - 9x9 Tommy Wohlfahrt / Книга С меки корици
common.buy 14.81 € 28.97 лв
Chinese Medicine in Cancer Care: Herbs-Acupuncture-Qi gong-Nutrition-Prevention Niko Trian / Книга С меки корици
common.buy 35.46 € 69.36 лв
Passages from the diary of General Patrick Gordon of Auchleuchries. A.D. 1635- A.D. 1699 Gordon Patrick Gordon / Книга С меки корици
common.buy 22.40 € 43.81 лв
You Can Count On It: A Mentor's Arithmetic Patterns For Elementary Students Alexander Zabriskie Warren / Книга С меки корици
common.buy 29.32 € 57.34 лв
Ancient Hebrew: Yeshua Revealed Al Garza / Книга С меки корици
common.buy 19.25 € 37.65 лв
Подготвяме
30-Second Maths Richard J. Brown / Книга С меки корици
common.buy 11.51 € 22.51 лв
Kundalini Awakening Jenifer Williams / Книга С меки корици
common.buy 15.74 € 30.79 лв
Nocona Shannon Gillette / Книга С меки корици
common.buy 22.09 € 43.20 лв
Daytona Beach Lifeguards Patti Light / Книга Лист
common.buy 8.31 € 16.25 лв
Warship 2 – Frigate HMS Leander 2 Jantinus Mulder / Книга С меки корици
common.buy 19.61 € 38.36 лв
Cognition, Culture, and Political Momentum William Hirst / Книга С твърди корици
common.buy 136.85 € 267.66 лв
Even Dogs in the Wild Ian Rankin / Книга С меки корици
common.buy 14.86 € 29.07 лв
Coming into Balance Jane Ely / Книга С меки корици
common.buy 32.11 € 62.79 лв
Top
The Richest Man In Babylon George S. Clason / Книга С меки корици
common.buy 8.87 € 17.36 лв
Equality in the Primary School Ti Alkire / Книга С твърди корици
common.buy 261.94 € 512.31 лв
Law, Ethics and the War on Terror Evangelista / Книга С меки корици
common.buy 28.44 € 55.62 лв
Подготвяме
Equality in Liberty and Justice Antony G. N. Flew / Книга С меки корици
common.buy 70.46 € 137.82 лв
Medieval and Renaissance Music for Folk Harp Laura Zaerr / Печатни материали Ноти
common.buy 19.61 € 38.36 лв

Вход

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

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

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

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

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