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

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Techniques for Distributed Systems Roberto Bruni
Код Либристо: 01658113
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2011
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on F... Цялото описание
? points 142 b
58.49 €
114.39  лв
Външен склад Изпращаме след 9-15 дни

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

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

Top
Gâteaux trompe-l'oeil ! Emily Misson / Книга С твърди корици
common.buy 35.20 € 68.85 лв
Comedias Escogidas De Frey Lope Felix De Vega Carpio: Lo Que Ha De Ser. El Molino. La Dama Melindrosa. Los Locos De Valencia Lope De Vega / Книга С твърди корици
common.buy 40.06 € 78.34 лв
Povyshenie stressoustojchivosti uchitelya posredstvom formirovaniya SGM Andrej Rudakov / Книга С меки корици
common.buy 25.55 € 49.97 лв
El Derecho de la publicidad en Chile MARTABIT SAGREDO / Книга С меки корици
common.buy 48.78 € 95.41 лв
Mio marito Maud Ventura / Книга С меки корици
common.buy 22.66 € 44.32 лв
Krowa Matylda i zaginiona paczka Alexander Steffensmeier / Книга С твърди корици
common.buy 8.72 € 17.05 лв
Bracelet Agate Crazy Lace Perles rondes 8 mm / Книга binding.
common.buy 6.04 € 11.80 лв
Nordsee, 20 Postkarten / Игра/играчка Играчка
common.buy 16.72 € 32.70 лв
Plonger Christophe Ono-dit-Biot / Книга С меки корици
common.buy 13.68 € 26.75 лв
O Sasance Jiří Černický / Книга С твърди корици
common.buy 10.27 € 20.08 лв
UEber Die Metallgehalte in Den Schlacken Des Bleischachtofenprozesses Und Ihr Verhalten Im Elektrischen Feld Helmut Winterhager / Книга С меки корици
common.buy 55.80 € 109.14 лв
Inhibition de la D position Des Sels Insolubles Touhami Lanez / Книга С меки корици
common.buy 37.68 € 73.70 лв
Elementare Schiffahrtkunde Friedrich Gerhard Bolte / Книга С меки корици
common.buy 28.29 € 55.32 лв
Agrarelite, Diktatur und Neoliberalismus Judith Haferland / Книга С меки корици
common.buy 35.87 € 70.16 лв
Debitorenrating Grit S. Becker / Книга С меки корици
common.buy 49.76 € 97.33 лв
Täglich 5 Minuten Sprachförderung. Bd.2 Lily Gleuwitz / Книга Лист
common.buy 25.03 € 48.96 лв
Gruppenbesteuerung Hubert W Fuchs / Книга С меки корици
common.buy 32.73 € 64.01 лв
Livia Drusilla - Iulia Augusta: Kaiserin und Kaisermutter Ute Bartelt / Книга С меки корици
common.buy 17.08 € 33.41 лв

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.

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

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

Пълно заглавие Formal Techniques for Distributed Systems
Автор Roberto Bruni, Juergen Dingel
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 349
Баркод 9783642214608
ISBN 3642214606
Код Либристо 01658113
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 547
Размери 155 x 235 x 23

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer hardware > Network hardware
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Delivered but not Healed: Exploring the Need for Emotional and Psychological Healing Marcia Dixon-Haye / Книга С меки корици
common.buy 15.69 € 30.68 лв
365 James Robertson / Книга С меки корици
common.buy 22.61 € 44.22 лв
King and the Adulteress Roberto Speziale-Bagliacca / Книга С твърди корици
common.buy 75.78 € 148.21 лв
Damage from a Recent Storm John E Harper / Книга С меки корици
common.buy 9.13 € 17.86 лв
Elsworth F. Baker, Kenneth M. Bremmer, Philip Gold, et al., Petitioners, V. United States of America. U.S. Supreme Court Transcript of Record with Sup William W Goodrick / Книга С меки корици
common.buy 26.01 € 50.88 лв
Dancing in the Dining Room, Antigua West Indies Donna Goring / Книга С меки корици
common.buy 18.79 € 36.74 лв
My Favorite Teacher Was an Ironworker Rick Taylor / Книга С твърди корици
common.buy 29.47 € 57.64 лв
Workplace Skills: Writing for Work, Student Workbook Contemporary / Книга С меки корици
common.buy 52.45 € 102.58 лв
Fire Dragons & Other Rare Ember Creatures Jessica Feinberg / Книга С твърди корици
common.buy 23.07 € 45.12 лв
Responsibility and Justice Matravers / Книга С твърди корици
common.buy 71.44 € 139.73 лв
Theological Dictionary of the Old Testament, Volume XI G. Johannes Botterweck / Книга С меки корици
common.buy 51.67 € 101.06 лв
Innovations in Financing Public Services S. Bailey / Книга С меки корици
common.buy 56.01 € 109.54 лв
Buzz Beaker and the Race to School Cari Meister / Книга С меки корици
common.buy 6.96 € 13.62 лв
Humana Festival 2014: The Complete Plays Les Waters / Книга С меки корици
common.buy 23.69 € 46.34 лв
Kelly L. Murdock's Autodesk 3ds Max 2017 Complete Reference Guide Kelly L. Murdock / Книга С меки корици
common.buy 101.13 € 197.79 лв
Theaetetus of Plato Plato / Книга С меки корици
common.buy 21.63 € 42.30 лв
Directions of a Pastoral Lifetime William Flewelling / Книга С меки корици
common.buy 21.26 € 41.59 лв
Lemons, Limes & Oranges Coralie Dorman / Книга С меки корици
common.buy 9.29 € 18.16 лв
Radiology of HIV/AIDS Hongjun Li / Книга С твърди корици
common.buy 238.81 € 467.08 лв
Cambridge Companion to Autobiography Maria DiBattista / Книга С твърди корици
common.buy 123.95 € 242.42 лв
Vicksburg Assaults Brandon Franke / Книга С твърди корици
common.buy 36.49 € 71.38 лв
Logic and Information Keith Devlin / Книга С твърди корици
common.buy 132.16 € 258.47 лв
British Wildlife Photography Awards 9 Gowan / Книга С твърди корици
common.buy 28.18 € 55.12 лв
Top
Good Economics for Hard Times Abhijit V. Banerjee / Книга С меки корици
common.buy 13.16 € 25.74 лв

Вход

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

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

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

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

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