Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Distributed System Development Tommaso Bolognesi
Libristo-code: 02181631
Uitgeverij Springer, Berlin, februari 2013
This book addresses Formal Methods (FMs) applicable to the specification, verification, implementati... Volledige beschrijving
? points 498 b
205.53 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Pět elementů Frank Seefelder / Boek Gebonden (paperback)
common.buy 11.31 €
100 starke Schritte zum Wohlfühlunternehmen Siegfried Keusch / Boek Gebonden (harde band)
common.buy 13.53 €
Ma vie avec Marcel Proust Cusset / Boek Gebonden (paperback)
common.buy 22.93 €
leopardo che mangiava gli uomini Jim Corbett / Boek Boek
common.buy 22.63 €
De la cuna a la luna ANTONIO RUBIO / Boek Gebonden (harde band)
common.buy 10.20 €
Erarbeitung eines Kennzahlensystems fur ein Grosshandelsunternehmen - Umsetzung mit Hilfe von Software zur Unterstutzung von Plansimulationen Alexander Stichweh / Boek Gebonden (paperback)
common.buy 42.74 €
Dream Teams Wolf W. Lasko / Boek Gebonden (paperback)
common.buy 59.71 €
Alpi 2005-2018 Burani / Boek Gebonden (paperback)
common.buy 15.75 €
Das Wetter im Sprichwort Otto von Reinsberg-Düringsfeld / Boek Gebonden (paperback)
common.buy 30.31 €
Objevujeme svět hrou! Zoo Nathalie Choux / Boek Leporello (harmonicaboek)
common.buy 9.69 €
Hon na maminho zajačika Kristína Pavelková / Boek Gebonden (harde band)
common.buy 4.84 €
Arquitetura Escolar Publica Paulista Mirela Geiger de Mello / Boek Gebonden (paperback)
common.buy 62.84 €
1966-1970 / Boek Gebonden (paperback)
common.buy 25.15 €
Implikationen der Theorie realer Konjunkturzyklen fur die Stabilisierungspolitik Dirk Stelzer / Boek Gebonden (paperback)
common.buy 60.52 €
Sodoma Martel Frédéric / Boek Gebonden (paperback)
common.buy 10.90 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods for Distributed System Development
Auteur Tommaso Bolognesi, Diego Latella
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2013
Aantal pagina's 412
EAN 9781475752649
ISBN 1475752644
Libristo-code 02181631
Uitgeverij Springer, Berlin
Gewicht 652
Afmetingen 155 x 235 x 22

Categorieën

Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeringstechnieken
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Sevcik Viola Studies: School of Technique Part 2 Otakar Sevcik / Boek Gebonden (paperback)
common.buy 9.89 €
Graph-Based Representations in Pattern Recognition Cheng-Lin Liu / Boek Gebonden (paperback)
common.buy 51.63 €
Anarchist's Guide to Historic House Museums Franklin D. Vagnone / Boek Gebonden (paperback)
common.buy 51.43 €
The Preachers of Scotland: From the Sixth to the Nineteenth Century William G. Blaikie / Boek Gebonden (harde band)
common.buy 25.15 €
Teddy's Journal Stan Abshier / Boek Gebonden (paperback)
common.buy 33.14 €
Sound Absorption Coefficient and Young's Modulus of Concrete Reginald Raymund A. Caturza / Boek Gebonden (paperback)
common.buy 32.02 €
Comfort Zone KENNETH A. LUIKART / Boek Gebonden (paperback)
common.buy 21.72 €
Conchologia cestrica William Dell Hartman / Boek Gebonden (paperback)
common.buy 15.25 €
Sexhibitionists Garrett Yankou / Boek Gebonden (paperback)
common.buy 19.29 €
Selene: The Most Famous Bull-leaper on Earth Zsuzsanna Emese Budapest / Boek Gebonden (paperback)
common.buy 12.12 €
How Government Fails Us: How The US Government "Functions" Without Regard For The Frequently Negative Ramifications Of Its Actions Kip Koehler / Boek Gebonden (paperback)
common.buy 12.92 €
The First Soul W J Cherf / Boek Gebonden (paperback)
common.buy 19.29 €
The Burglar in the Closet Lawrence Block / Boek Gebonden (paperback)
common.buy 9.19 €
10-Day Alcohol Detox Plan Lewis David / Boek Gebonden (paperback)
common.buy 14.74 €
Angelus Silesius, Johannes Scheffler: Bild Eines Convertiten, Dichters Und Streittheologen (1876) Wilhelm Lindemann / Boek Gebonden (paperback)
common.buy 25.05 €
Ayurvedic Detox - A guide To Losing Toxins From The Body Anand Gupta / Boek Gebonden (paperback)
common.buy 17.17 €
Common Mental Health Problems in Primary Care Mark White / Boek Gebonden (paperback)
common.buy 56.48 €
Antique European Furniture, Secular and Church Silver, Ivory and Wood Carvings, Rare Mohammedan Pottery, European Porcelains, Oriental Bronzes Propert American Art Association / Boek Gebonden (paperback)
common.buy 18.38 €
Despite Ceausescu Frances Tyler / Boek Gebonden (paperback)
common.buy 19.39 €
Dowsing Triage: Find and Fix Energy Problems Susan Joan Collins / Boek Gebonden (paperback)
common.buy 12.12 €
Afsaneh Vera Ansén / Boek Gebonden (paperback)
common.buy 11.71 €
Structuring at-Risk Children in Urban Communities Kevin Vauters / Boek Gebonden (harde band)
common.buy 26.26 €
Great Adventures / Boek Gebonden (harde band)
common.buy 58.70 €
Study Guide to Accompany Foodservice Management Fundamentals Dennis R Reynolds / Boek Gebonden (paperback)
common.buy 51.12 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken