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.

Verification-Based Analysis of Reliable Multicast Protocol

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification-Based Analysis of Reliable Multicast Protocol Yunqing Wu
Libristo kód: 08286959
Nakladatelství Biblioscholar, březen 2013
Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally order... Celý popis
? points 38 b
380 Kč
Skladem u dodavatele Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Secretos de un Modo de Orar Olvidado = Secrets of the Lost Mode of Prayer Gregg Braden / Kniha Brožovaná
common.buy 399 Kč
Ziffern Und Ziffernsysteme Eugen Löffler / Kniha Brožovaná
common.buy 1 214 Kč
El visado colegial (Formato dúo) Calvo Sánchez / Kniha Brožovaná
common.buy 1 455 Kč
Memoires Du Baron d'Haussez, Dernier Ministre de la Marine Sous La Restauration. Tome 1 Charles Lemercher De Haussez / Kniha Brožovaná
common.buy 643 Kč
Sueldecitos más bien bajitos # ¡Miseria, la bacteria! # Drones matones (Súper Hu FRANCISCO IBAÑEZ / Kniha Pevná
common.buy 545 Kč

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP Multicasting. In this paper, we develop formal models for R.W using existing automatic verification systems, and perform verification-based analysis on the formal RMP specifications. We also use the formal models of RW specifications to generate a test suite for conformance testing of the RMP implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress between the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

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 Verification-Based Analysis of Reliable Multicast Protocol
Autor Yunqing Wu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 64
EAN 9781288910267
ISBN 9781288910267
Libristo kód 08286959
Nakladatelství Biblioscholar
Váha 132
Rozměry 189 x 246 x 3

Kategorie

Společnost a společenské vědy > Vzdělávání
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

Weapon of Pain Chris A Jackson / Kniha Brožovaná
common.buy 340 Kč
Lettres Victoria Vincent Sylvan / Kniha Brožovaná
common.buy 213 Kč
Plant-induced soil changes: Processes and feedbacks Nico van Breemen / Kniha Pevná
common.buy 3 532 Kč
Politics in a Time of Crisis Pablo Iglesias / Kniha Brožovaná
common.buy 425 Kč
Horrid Henry and the Mega-Mean Time Machine Francesca Simon / Kniha Brožovaná
common.buy 158 Kč
How Did Slaves Find a Route to Freedom?: And Other Questions about the Underground Railroad Laura Hamilton Waxman / Kniha Pevná
common.buy 776 Kč
Playful Paws, Happy Hoofs Coloring Book KREATIVE KIDS / Kniha Brožovaná
common.buy 233 Kč
Earth Satellites Allan Morey / Kniha Pevná
common.buy 763 Kč
Dubliners James Joyce / Kniha Brožovaná
common.buy 222 Kč
Recipe Collections (Blank Cookbook) Speedy Publishing LLC / Kniha Brožovaná
common.buy 258 Kč
Maria Finds Courage TONY DUNGY / Kniha Pevná
common.buy 308 Kč
Learn ASP.Net Web Api: Become ASP. Net Web Api Developer In Just Few Days Eakta Talan / Kniha Brožovaná
common.buy 177 Kč
A Treatise on Computation Edward Mann Langley / Kniha Pevná
common.buy 728 Kč
Preston Lee's Beginner English With Workbook Section Lesson 21 - 40 For Ukrainian Speakers Matthew Preston / Kniha Brožovaná
common.buy 287 Kč
The Natural History of the Raw Materials of Commerce John Yeats / Kniha Brožovaná
common.buy 1 419 Kč
That's Not My... Easter Egg Rachel Wells / Kniha Leporelo
common.buy 194 Kč
Other Side of the Window Lynda K Marsh / Kniha Pevná
common.buy 756 Kč
Adventures Of Tom Sawyer Mark Twain / Kniha Brožovaná
common.buy 475 Kč
Group Theory in Chemistry and Spectroscopy Boris S Tsukerblat / Kniha Brožovaná
common.buy 412 Kč
Islam Abdelmajid Sharfi / Kniha Pevná
common.buy 3 413 Kč
Epistemology versus Ontology P. Dybjer / Kniha Brožovaná
common.buy 4 707 Kč
Creating Conditions for Promising Collaboration Edwin Kaats / Kniha Brožovaná
common.buy 1 500 Kč
With the Right Person R Whitfield / Kniha Brožovaná
common.buy 274 Kč
British Islands Thomas Milner / Kniha Brožovaná
common.buy 571 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?