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

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods for Components and Objects Frank S. de Boer
Код Либристо: 01571145
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 2008
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Das Baukastensystem in Der Technik K. H. Borowski / Книга С меки корици
common.buy 81.21 € 158.84 лв
Ohne Manni lauft nix Peggy Schroder / E-книга Adobe ePub DRM
common.buy 3.46 € 6.77 лв
Der Präparator und Konservator Robert Voegler / Книга С меки корици
common.buy 28.34 € 55.44 лв
Комплект "Праздник как по нотам. Изысканный стол". Ф. Шмитт / Книга С твърди корици
common.buy 53.12 € 103.90 лв
Aramon Temps Anciens, Administration, Temps Modernes "" / Книга С меки корици
common.buy 44.07 € 86.19 лв
S navigací osudu Marcela Mlynářová / Книга С твърди корици
common.buy 10.39 € 20.33 лв
Histoire Des Ducs De Bourgogne De La Maison De Valois, 1364-1477; Georges Chastellain / Книга С меки корици
common.buy 27.88 € 54.53 лв
KoboldKroniken 3. Klassenfahrt mit Klabauter Daniel Bleckmann / E-книга Adobe ePub DRM
common.buy 11.58 € 22.65 лв
Orígenes de las lenguas neolatinas Carlos Tagliavini / Книга С меки корици
common.buy 36.72 € 71.83 лв
Meine Weihnachtsgeschichten Tobi Leilason / Книга С меки корици
common.buy 11.07 € 21.64 лв
Listy Josefa Floriana Jaroslavu Janouchovi Ladislav Janouch / Книга С меки корици
common.buy 9.51 € 18.61 лв
ANTI-MARX JUAN RAMON RALLO / Книга С меки корици
common.buy 31.03 € 60.70 лв
La superficie de la Tierra, I Jose Lugo Hubp / E-книга Adobe ePub DRM
common.buy 3.46 € 6.77 лв
FrühStücke, 3 Audio-CDs Willy Astor / Аудио Аудио компактдиск
common.buy 38.28 € 74.86 лв
Finanzplaner TV Jörg Birkelbach / Книга С меки корици
common.buy 44.90 € 87.81 лв
Sgrammit: quaderno verde 1. «Il testo narrativo e il testo descrittivo» / Книга С меки корици
common.buy 14.38 € 28.12 лв
Gorputza eta generoa ALVAREZ URIA / Книга Книга
common.buy 13.03 € 25.49 лв
Algorytmica Marion Herzog / Книга С меки корици
common.buy 15.31 € 29.94 лв
J'aime la maternelle - Mes activités effaçables - Grande section 5-6 ans / Книга Със спирала
common.buy 13.08 € 25.59 лв
Bracelet pierres baroques et éléments métalliques - Hématite / Книга binding.
common.buy 5.43 € 10.61 лв
Storytelling im Business. Vermarkten anhand von Geschichten Julia Heese / Книга С меки корици
common.buy 37.40 € 73.14 лв
Veľká kniha zvukov - Zvieratá neuvedený autor / Книга Дипляна
common.buy 14.27 € 27.92 лв
Cours De Philosophie Positive V4: La Partie Dogmatique De La Philosophie Sociale (1869) Auguste Comte / Книга С меки корици
common.buy 41.07 € 80.33 лв
Entdecke das Heilige in dir Anselm Grün / Книга Лист
common.buy 5.43 € 10.61 лв

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.§The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.

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

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

Пълно заглавие Formal Methods for Components and Objects
Автор Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 313
Баркод 9783540921875
ISBN 3540921877
Код Либристо 01571145
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 498
Размери 155 x 235 x 19

Категории

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

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

The Wonders of the Color Wheel Agnieszka Jatkowska / Книга С меки корици
common.buy 7.24 € 14.15 лв
Top
Heaven Official's Blessing: Tian Guan CI Fu (Deluxe Hardcover Novel) Vol. 7 Zeldacw / Книга С твърди корици
common.buy 22.55 € 44.10 лв
The Little Picnic Book Cristina Viseu / Книга С твърди корици
common.buy 20.43 € 39.96 лв
The Ways of the Hour.: A Tale James Fenimore Cooper / Книга С меки корици
common.buy 27.88 € 54.53 лв
Sex, Society, and Culture: The Quest for Pleasure, Equity, and Freedom in a Complex World / Книга С меки корици
common.buy 169.57 € 331.66 лв
Luck David Flusfeder / Аудиокнига MP3
common.buy 15.93 € 31.15 лв
Recent Advancements in Microbial Diversity: Macrophages and Their Role in Inflammation Jae Youl Cho / Книга С меки корици
common.buy 198.65 € 388.52 лв
Radical Philosophy 2.04 / Spring 2019 Radical Philosophy Collective / Книга С меки корици
common.buy 11.84 € 23.16 лв
Histories of More Children Than one; or, Goodness Better Than Beauty DOROTHY KILNER / Книга С твърди корици
common.buy 29.74 € 58.17 лв
Texas and Its Late Military Occupation and Evacuation Edwin D Phillips / Книга С меки корици
common.buy 12.41 € 24.27 лв
Behave!: How to get 100% of your workers fully engaged. Bill Burnett / Книга С меки корици
common.buy 15.05 € 29.43 лв
SATIRICAL HITS ON THE PEOPLE'S EDUCATION JOHN ORVILLE TAYLOR / Книга С твърди корици
common.buy 30.72 € 60.09 лв
Flower Fables Louisa May Alcott / Книга С твърди корици
common.buy 12.82 € 25.08 лв
Top
The Dog of the South Charles Portis / Книга С меки корици
common.buy 14.27 € 27.92 лв
Top
Embodiment Dain Heer / Книга С меки корици
common.buy 15.77 € 30.85 лв
Eupantophone Henri Austruy / Книга С меки корици
common.buy 23.12 € 45.22 лв
Manifest Manhood and the Antebellum American Empire Amy S. Greenberg / Книга С твърди корици
common.buy 109.30 € 213.78 лв
Top
Upanishads Eknath Easwaran / Книга С меки корици
common.buy 11.32 € 22.15 лв
Beyond the Colonnade Tom Vaughan / Книга С меки корици
common.buy 21.31 € 41.68 лв
Covenant and the Sword (RLE Israel and Palestine) Earl Berger / Книга С твърди корици
common.buy 152.55 € 298.37 лв
Athens in Jerusalem Yaacov Shavit / Книга С меки корици
common.buy 36.31 € 71.02 лв
Elie Wiesel Robert McAfee Brown / Книга С меки корици
common.buy 34.45 € 67.38 лв
Attack Of The Deranged Mutant Killer Monster Snow Goons Bill Watterson / Книга С меки корици
common.buy 15.98 € 31.25 лв
A okraje máš kde? Juraj Čokyna / Книга С меки корици
common.buy 15.98 € 31.25 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo