Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Distributed System Development Tommaso Bolognesi
Libristo kód: 02181631
Nakladatelství Springer, Berlin, únor 2013
This book addresses Formal Methods (FMs) applicable to the specification, verification, implementati... Celý popis
? points 471 b
4 707 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Pět elementů Frank Seefelder / Kniha Brožovaná
common.buy 213 Kč
100 starke Schritte zum Wohlfühlunternehmen Siegfried Keusch / Kniha Pevná
common.buy 309 Kč
Ma vie avec Marcel Proust Cusset / Kniha Brožovaná
common.buy 555 Kč
leopardo che mangiava gli uomini Jim Corbett / Kniha Kniha
common.buy 549 Kč
De la cuna a la luna ANTONIO RUBIO / Kniha Pevná
common.buy 234 Kč
Erarbeitung eines Kennzahlensystems fur ein Grosshandelsunternehmen - Umsetzung mit Hilfe von Software zur Unterstutzung von Plansimulationen Alexander Stichweh / Kniha Brožovaná
common.buy 975 Kč
Dream Teams Wolf W. Lasko / Kniha Brožovaná
common.buy 1 309 Kč
Alpi 2005-2018 Burani / Kniha Brožovaná
common.buy 362 Kč
Das Wetter im Sprichwort Otto von Reinsberg-Düringsfeld / Kniha Brožovaná
common.buy 691 Kč
Objevujeme svět hrou! Zoo Nathalie Choux / Kniha Leporelo
common.buy 221 Kč
Hon na maminho zajačika Kristína Pavelková / Kniha Pevná
common.buy 107 Kč
Arquitetura Escolar Publica Paulista Mirela Geiger de Mello / Kniha Brožovaná
common.buy 1 448 Kč
1966-1970 / Kniha Brožovaná
common.buy 576 Kč
Implikationen der Theorie realer Konjunkturzyklen fur die Stabilisierungspolitik Dirk Stelzer / Kniha Brožovaná
common.buy 1 380 Kč
Sodoma Martel Frédéric / Kniha Brožovaná
common.buy 265 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods for Distributed System Development
Autor Tommaso Bolognesi, Diego Latella
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 412
EAN 9781475752649
ISBN 1475752644
Libristo kód 02181631
Nakladatelství Springer, Berlin
Váha 652
Rozměry 155 x 235 x 22

Kategorie

Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací techniky
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Sevcik Viola Studies: School of Technique Part 2 Otakar Sevcik / Kniha Brožovaná
common.buy 214 Kč
Graph-Based Representations in Pattern Recognition Cheng-Lin Liu / Kniha Brožovaná
common.buy 1 182 Kč
Anarchist's Guide to Historic House Museums Franklin D. Vagnone / Kniha Brožovaná
common.buy 1 080 Kč
The Preachers of Scotland: From the Sixth to the Nineteenth Century William G. Blaikie / Kniha Pevná
common.buy 576 Kč
Teddy's Journal Stan Abshier / Kniha Brožovaná
common.buy 766 Kč
Sound Absorption Coefficient and Young's Modulus of Concrete Reginald Raymund A. Caturza / Kniha Brožovaná
common.buy 732 Kč
Comfort Zone KENNETH A. LUIKART / Kniha Brožovaná
common.buy 501 Kč
Conchologia cestrica William Dell Hartman / Kniha Brožovaná
common.buy 348 Kč
Sexhibitionists Garrett Yankou / Kniha Brožovaná
common.buy 444 Kč
Selene: The Most Famous Bull-leaper on Earth Zsuzsanna Emese Budapest / Kniha Brožovaná
common.buy 279 Kč
How Government Fails Us: How The US Government "Functions" Without Regard For The Frequently Negative Ramifications Of Its Actions Kip Koehler / Kniha Brožovaná
common.buy 298 Kč
The First Soul W J Cherf / Kniha Brožovaná
common.buy 444 Kč
The Burglar in the Closet Lawrence Block / Kniha Brožovaná
common.buy 209 Kč
10-Day Alcohol Detox Plan Lewis David / Kniha Brožovaná
common.buy 339 Kč
Angelus Silesius, Johannes Scheffler: Bild Eines Convertiten, Dichters Und Streittheologen (1876) Wilhelm Lindemann / Kniha Brožovaná
common.buy 576 Kč
Ayurvedic Detox - A guide To Losing Toxins From The Body Anand Gupta / Kniha Brožovaná
common.buy 390 Kč
Common Mental Health Problems in Primary Care Mark White / Kniha Brožovaná
common.buy 1 307 Kč
Antique European Furniture, Secular and Church Silver, Ivory and Wood Carvings, Rare Mohammedan Pottery, European Porcelains, Oriental Bronzes Propert American Art Association / Kniha Brožovaná
common.buy 423 Kč
Despite Ceausescu Frances Tyler / Kniha Brožovaná
common.buy 441 Kč
Dowsing Triage: Find and Fix Energy Problems Susan Joan Collins / Kniha Brožovaná
common.buy 279 Kč
Afsaneh Vera Ansén / Kniha Brožovaná
common.buy 268 Kč
Structuring at-Risk Children in Urban Communities Kevin Vauters / Kniha Pevná
common.buy 607 Kč
Great Adventures / Kniha Pevná
common.buy 1 421 Kč
Study Guide to Accompany Foodservice Management Fundamentals Dennis R Reynolds / Kniha Brožovaná
common.buy 1 144 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet