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

FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing an

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods for Distributed System Development Tommaso Bolognesi
Код Либристо: 02181631
Издателство Springer, Berlin, февруари 2013
This book addresses Formal Methods (FMs) applicable to the specification, verification, implementati... Цялото описание
? points 525 b
216.59 €
423.61  лв
Външен склад Изпращаме след 5-8 дни

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

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

Pět elementů Frank Seefelder / Книга С меки корици
common.buy 11.88 € 23.23 лв
100 starke Schritte zum Wohlfühlunternehmen Siegfried Keusch / Книга С твърди корици
common.buy 14.36 € 28.08 лв
Ma vie avec Marcel Proust Cusset / Книга С меки корици
common.buy 23.92 € 46.78 лв
leopardo che mangiava gli uomini Jim Corbett / Книга Книга
common.buy 23.76 € 46.47 лв
De la cuna a la luna ANTONIO RUBIO / Книга С твърди корици
common.buy 10.17 € 19.90 лв
Erarbeitung eines Kennzahlensystems fur ein Grosshandelsunternehmen - Umsetzung mit Hilfe von Software zur Unterstutzung von Plansimulationen Alexander Stichweh / Книга С меки корици
common.buy 45.26 € 88.51 лв
Dream Teams Wolf W. Lasko / Книга С меки корици
common.buy 59.72 € 116.81 лв
Alpi 2005-2018 Burani / Книга С меки корици
common.buy 15.70 € 30.71 лв
Das Wetter im Sprichwort Otto von Reinsberg-Düringsfeld / Книга С меки корици
common.buy 32.08 € 62.74 лв
Objevujeme svět hrou! Zoo Nathalie Choux / Книга Дипляна
common.buy 10.38 € 20.30 лв
Hon na maminho zajačika Kristína Pavelková / Книга С твърди корици
common.buy 5.16 € 10.09 лв
Arquitetura Escolar Publica Paulista Mirela Geiger de Mello / Книга С меки корици
common.buy 62.87 € 122.97 лв
1966-1970 / Книга С меки корици
common.buy 26.55 € 51.93 лв
Implikationen der Theorie realer Konjunkturzyklen fur die Stabilisierungspolitik Dirk Stelzer / Книга С меки корици
common.buy 64.06 € 125.30 лв
Sodoma Martel Frédéric / Книга С меки корици
common.buy 11.57 € 22.63 лв

This book addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. The early, pioneering phases in the development of Formal Methods, with their conflicts between evangelistic and skeptical attitudes, are essentially over. Many Fms have reached maturity, and a number of papers in this book report on successful experiences in specifying and verifying real distributed systems and protocols. The main topics covered are: §model checking theory and applications; §verification and theorem proving; §testing theory and applications; §multicast protocol analysis and simulation; §hardware specification, implementation, and testing; §FMs for security. Pds. /LIST Pds. §Formal Methods for Distributed System Development compiles the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing, and Verification (PSTV XX), which was sponsored by the International Federation for Information Processing (IFIP) and held in Pisa, Italy, in October 2000.§This volume is suitable as a secondary text for graduate-level courses on software engineering, distributed systems, and communications, and as a reference both for researchers and for industry practitioners.

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

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

Пълно заглавие Formal Methods for Distributed System Development
Автор Tommaso Bolognesi, Diego Latella
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 412
Баркод 9781475752649
ISBN 1475752644
Код Либристо 02181631
Издателство Springer, Berlin
Тегло 652
Размери 155 x 235 x 22

Категории

Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Programming techniques
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 Книгата ще пристигне на адреса на получателя

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

Sevcik Viola Studies: School of Technique Part 2 Otakar Sevcik / Книга С меки корици
common.buy 9.97 € 19.49 лв
Graph-Based Representations in Pattern Recognition Cheng-Lin Liu / Книга С меки корици
common.buy 54.35 € 106.30 лв
Anarchist's Guide to Historic House Museums Franklin D. Vagnone / Книга С меки корици
common.buy 51.46 € 100.64 лв
The Preachers of Scotland: From the Sixth to the Nineteenth Century William G. Blaikie / Книга С твърди корици
common.buy 26.55 € 51.93 лв
Teddy's Journal Stan Abshier / Книга С меки корици
common.buy 33.17 € 64.87 лв
Sound Absorption Coefficient and Young's Modulus of Concrete Reginald Raymund A. Caturza / Книга С меки корици
common.buy 33.99 € 66.48 лв
Comfort Zone KENNETH A. LUIKART / Книга С меки корици
common.buy 21.70 € 42.43 лв
Conchologia cestrica William Dell Hartman / Книга С меки корици
common.buy 16.12 € 31.52 лв
Sexhibitionists Garrett Yankou / Книга С меки корици
common.buy 19.27 € 37.68 лв
Selene: The Most Famous Bull-leaper on Earth Zsuzsanna Emese Budapest / Книга С меки корици
common.buy 12.14 € 23.74 лв
How Government Fails Us: How The US Government "Functions" Without Regard For The Frequently Negative Ramifications Of Its Actions Kip Koehler / Книга С меки корици
common.buy 12.96 € 25.35 лв
The First Soul W J Cherf / Книга С меки корици
common.buy 19.27 € 37.68 лв
The Burglar in the Closet Lawrence Block / Книга С меки корици
common.buy 9.14 € 17.88 лв
10-Day Alcohol Detox Plan Lewis David / Книга С меки корици
common.buy 14.77 € 28.89 лв
Angelus Silesius, Johannes Scheffler: Bild Eines Convertiten, Dichters Und Streittheologen (1876) Wilhelm Lindemann / Книга С меки корици
common.buy 25.00 € 48.90 лв
Ayurvedic Detox - A guide To Losing Toxins From The Body Anand Gupta / Книга С меки корици
common.buy 18.13 € 35.46 лв
Common Mental Health Problems in Primary Care Mark White / Книга С меки корици
common.buy 59.10 € 115.60 лв
Antique European Furniture, Secular and Church Silver, Ivory and Wood Carvings, Rare Mohammedan Pottery, European Porcelains, Oriental Bronzes Propert American Art Association / Книга С меки корици
common.buy 18.39 € 35.96 лв
Despite Ceausescu Frances Tyler / Книга С меки корици
common.buy 19.42 € 37.99 лв
Dowsing Triage: Find and Fix Energy Problems Susan Joan Collins / Книга С меки корици
common.buy 12.14 € 23.74 лв
Afsaneh Vera Ansén / Книга С меки корици
common.buy 12.45 € 24.34 лв
Structuring at-Risk Children in Urban Communities Kevin Vauters / Книга С твърди корици
common.buy 26.24 € 51.33 лв
Great Adventures / Книга С твърди корици
common.buy 61.22 € 119.74 лв
Study Guide to Accompany Foodservice Management Fundamentals Dennis R Reynolds / Книга С меки корици
common.buy 51.15 € 100.03 лв

Вход

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

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

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

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

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