Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Distributed System Development

Name: Formal Methods for Distributed System Development
Brand: Springer, Berlin
SKU: 02181631
Price: 214.29 EUR
Availability: InStock
Author: Tommaso Bolognesi
ISBN: 9781475752649

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

Tommaso Bolognesi

Diego Latella

Sprache

Englisch

Buch Broschur

Libristo-Code: 02181631

Verlag Springer, Berlin, Februar 2013

This book addresses Formal Methods (FMs) applicable to the specification, verification, implementati... Vollständige Beschreibung

Libristo-Code: 02181631

524 b

214.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Pět elementů Frank Seefelder

Broschur

11.79 €

100 starke Schritte zum Wohlfühlunternehmen Siegfried Keusch

Hardcover

14.99 €

Ma vie avec Marcel Proust Cusset

Broschur

23.69 €

leopardo che mangiava gli uomini Jim Corbett

Buch

23.49 €

De la cuna a la luna ANTONIO RUBIO

Hardcover

10.09 €

Erarbeitung eines Kennzahlensystems fur ein Grosshandelsunternehmen - Umsetzung mit Hilfe von Software zur Unterstutzung von Plansimulationen Alexander Stichweh

Broschur

47.95 €

Dream Teams Wolf W. Lasko

Broschur

64.99 €

Alpi 2005-2018 Burani

Broschur

16.39 €

Das Wetter im Sprichwort Otto von Reinsberg-Düringsfeld

Broschur

33.90 €

Objevujeme svět hrou! Zoo Nathalie Choux

Leporello

10.29 €

Hon na maminho zajačika Kristína Pavelková

Hardcover

5.19 €

Arquitetura Escolar Publica Paulista Mirela Geiger de Mello

Broschur

62.19 €

1966-1970

Broschur

26.29 €

Implikationen der Theorie realer Konjunkturzyklen fur die Stabilisierungspolitik Dirk Stelzer

Broschur

68.00 €

Sodoma Martel Frédéric

Broschur

12.09 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods for Distributed System Development

Autor Tommaso Bolognesi, Diego Latella

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 412

EAN 9781475752649

ISBN 1475752644

Libristo-Code 02181631

Verlag Springer, Berlin

Gewicht 652

Abmessungen 155 x 235 x 22

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Sevcik Viola Studies: School of Technique Part 2 Otakar Sevcik

Broschur

9.29 €

Graph-Based Representations in Pattern Recognition Cheng-Lin Liu

Broschur

53.79 €

Anarchist's Guide to Historic House Museums Franklin D. Vagnone

Broschur

48.69 €

The Preachers of Scotland: From the Sixth to the Nineteenth Century William G. Blaikie

Hardcover

26.29 €

Teddy's Journal Stan Abshier

Broschur

34.39 €

Sound Absorption Coefficient and Young's Modulus of Concrete Reginald Raymund A. Caturza

Broschur

33.59 €

Comfort Zone KENNETH A. LUIKART

Broschur

22.59 €

Conchologia cestrica William Dell Hartman

Broschur

15.99 €

Sexhibitionists Garrett Yankou

Broschur

20.09 €

Selene: The Most Famous Bull-leaper on Earth Zsuzsanna Emese Budapest

Broschur

12.59 €

How Government Fails Us: How The US Government "Functions" Without Regard For The Frequently Negative Ramifications Of Its Actions Kip Koehler

Broschur

13.49 €

The First Soul W J Cherf

Broschur

20.09 €

The Burglar in the Closet Lawrence Block

Broschur

9.59 €

10-Day Alcohol Detox Plan Lewis David

Broschur

15.39 €

Angelus Silesius, Johannes Scheffler: Bild Eines Convertiten, Dichters Und Streittheologen (1876) Wilhelm Lindemann

Broschur

25.89 €

Ayurvedic Detox - A guide To Losing Toxins From The Body Anand Gupta

Broschur

17.89 €

Common Mental Health Problems in Primary Care Mark White

Broschur

58.49 €

Antique European Furniture, Secular and Church Silver, Ivory and Wood Carvings, Rare Mohammedan Pottery, European Porcelains, Oriental Bronzes Propert American Art Association

Broschur

19.09 €

Despite Ceausescu Frances Tyler

Broschur

20.39 €

Dowsing Triage: Find and Fix Energy Problems Susan Joan Collins

Broschur

12.59 €

Afsaneh Vera Ansén

Broschur

12.29 €

Structuring at-Risk Children in Urban Communities Kevin Vauters

Hardcover

27.19 €

Great Adventures

Hardcover

60.59 €

Study Guide to Accompany Foodservice Management Fundamentals Dennis R Reynolds

Broschur

48.69 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

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

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

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

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!