Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods for Distributed System Development Tommaso Bolognesi
Kod Libristo: 02181631
Wydawnictwo Springer, Berlin, luty 2013
This book addresses Formal Methods (FMs) applicable to the specification, verification, implementati... Cały opis
? points 498 b
872.04 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Pět elementů Frank Seefelder / Książka Miękka
common.buy 45.16 zł
100 starke Schritte zum Wohlfühlunternehmen Siegfried Keusch / Książka Twarda
common.buy 57.51 zł
Ma vie avec Marcel Proust Cusset / Książka Miękka
common.buy 97.26 zł
leopardo che mangiava gli uomini Jim Corbett / Książka Książka
common.buy 91.44 zł
De la cuna a la luna ANTONIO RUBIO / Książka Twarda
common.buy 40.95 zł
Erarbeitung eines Kennzahlensystems fur ein Grosshandelsunternehmen - Umsetzung mit Hilfe von Software zur Unterstutzung von Plansimulationen Alexander Stichweh / Książka Miękka
common.buy 181.49 zł
Dream Teams Wolf W. Lasko / Książka Miękka
common.buy 229.37 zł
Alpi 2005-2018 Burani / Książka Miękka
common.buy 66.75 zł
Das Wetter im Sprichwort Otto von Reinsberg-Düringsfeld / Książka Miękka
common.buy 128.58 zł
Objevujeme svět hrou! Zoo Nathalie Choux / Książka Leporelo
common.buy 41.35 zł
Hon na maminho zajačika Kristína Pavelková / Książka Twarda
common.buy 20.67 zł
Arquitetura Escolar Publica Paulista Mirela Geiger de Mello / Książka Miękka
common.buy 253.66 zł
1966-1970 / Książka Miękka
common.buy 106.90 zł
Implikationen der Theorie realer Konjunkturzyklen fur die Stabilisierungspolitik Dirk Stelzer / Książka Miękka
common.buy 256.88 zł
Sodoma Martel Frédéric / Książka Miękka
common.buy 35.93 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods for Distributed System Development
Autor Tommaso Bolognesi, Diego Latella
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 412
EAN 9781475752649
ISBN 1475752644
Kod Libristo 02181631
Wydawnictwo Springer, Berlin
Waga 652
Wymiary 155 x 235 x 22

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Energetyka i inżynieria energetyczna > Inżynieria elektryczna
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Techniki programowania
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Sevcik Viola Studies: School of Technique Part 2 Otakar Sevcik / Książka Miękka
common.buy 39.74 zł
Graph-Based Representations in Pattern Recognition Cheng-Lin Liu / Książka Miękka
common.buy 219.03 zł
Anarchist's Guide to Historic House Museums Franklin D. Vagnone / Książka Miękka
common.buy 208.99 zł
The Preachers of Scotland: From the Sixth to the Nineteenth Century William G. Blaikie / Książka Twarda
common.buy 106.90 zł
Teddy's Journal Stan Abshier / Książka Miękka
common.buy 140.83 zł
Sound Absorption Coefficient and Young's Modulus of Concrete Reginald Raymund A. Caturza / Książka Miękka
common.buy 136.11 zł
Comfort Zone KENNETH A. LUIKART / Książka Miękka
common.buy 92.14 zł
Conchologia cestrica William Dell Hartman / Książka Miękka
common.buy 64.64 zł
Sexhibitionists Garrett Yankou / Książka Miękka
common.buy 81.80 zł
Selene: The Most Famous Bull-leaper on Earth Zsuzsanna Emese Budapest / Książka Miękka
common.buy 51.49 zł
How Government Fails Us: How The US Government "Functions" Without Regard For The Frequently Negative Ramifications Of Its Actions Kip Koehler / Książka Miękka
common.buy 55.00 zł
The First Soul W J Cherf / Książka Miękka
common.buy 81.80 zł
The Burglar in the Closet Lawrence Block / Książka Miękka
common.buy 38.94 zł
10-Day Alcohol Detox Plan Lewis David / Książka Miękka
common.buy 62.73 zł
Angelus Silesius, Johannes Scheffler: Bild Eines Convertiten, Dichters Und Streittheologen (1876) Wilhelm Lindemann / Książka Miękka
common.buy 106.20 zł
Ayurvedic Detox - A guide To Losing Toxins From The Body Anand Gupta / Książka Miękka
common.buy 72.67 zł
Common Mental Health Problems in Primary Care Mark White / Książka Miękka
common.buy 239.91 zł
Antique European Furniture, Secular and Church Silver, Ivory and Wood Carvings, Rare Mohammedan Pottery, European Porcelains, Oriental Bronzes Propert American Art Association / Książka Miękka
common.buy 77.99 zł
Despite Ceausescu Frances Tyler / Książka Miękka
common.buy 82.31 zł
Dowsing Triage: Find and Fix Energy Problems Susan Joan Collins / Książka Miękka
common.buy 51.49 zł
Afsaneh Vera Ansén / Książka Miękka
common.buy 49.88 zł
Structuring at-Risk Children in Urban Communities Kevin Vauters / Książka Twarda
common.buy 111.42 zł
Great Adventures / Książka Twarda
common.buy 248.95 zł
Study Guide to Accompany Foodservice Management Fundamentals Dennis R Reynolds / Książka Miękka
common.buy 208.69 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo