Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Formal Methods for Distributed System Development

Name: Formal Methods for Distributed System Development
Brand: Springer, Berlin
SKU: 02181631
Price: 204.64 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

Language

English

Book Paperback

Libristo code: 02181631

Publishers Springer, Berlin, February 2013

This book addresses Formal Methods (FMs) applicable to the specification, verification, implementati... Full description

Libristo code: 02181631

497 b

204.64 €

400.23 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kugelschreiber metallic silber Game/Toy

Toy

9.41 € 18.41 лв

INFLUENCER DE LUXO ANDRESSA ANDRADE

Paperback

29.22 € 57.15 лв

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

Paperback

45.07 € 88.15 лв

Against Modern Football: Modelli da seguire e storie mai raccontate Marco Bellinazzo

Paperback

14.92 € 29.18 лв

Sodoma Martel Frédéric

Paperback

11.06 € 21.63 лв

Ma vie avec Marcel Proust Cusset

Paperback

22.64 € 44.27 лв

leopardo che mangiava gli uomini Jim Corbett

Book

23.36 € 45.68 лв

El sistema internacional de cooperación al desarrollo Gómez Galán

Book

18.57 € 36.32 лв

Código Nacional de Procedimientos Penales. Teoría y práctica del proceso penal acusatorio 3ª Edición Pérez Daza

Hardback

67.04 € 131.12 лв

Memorie dai sottosuoli. Sulla memoria di alcune catastrofi Giuseppina Spadafora

Hardback

17.80 € 34.81 лв

Dream Teams Wolf W. Lasko

Paperback

64.37 € 125.89 лв

Objevujeme svět hrou! Zoo Nathalie Choux

Board book

10.34 € 20.22 лв

Hon na maminho zajačika Kristína Pavelková

Hardback

5.29 € 10.36 лв

Arquitetura Escolar Publica Paulista Mirela Geiger de Mello

Paperback

62.41 € 122.07 лв

Implikationen der Theorie realer Konjunkturzyklen fur die Stabilisierungspolitik Dirk Stelzer

Paperback

63.80 € 124.78 лв

Das Wetter im Sprichwort Otto von Reinsberg-Düringsfeld

Paperback

31.96 € 62.51 лв

Alpi 2005-2018 Burani

Paperback

16.10 € 31.49 лв

Die Abnahme Des Gemeinschaftseigentums Im Rahmen Von Bautraegervertraegen Viviane McCready

Hardback

77.44 € 151.45 лв

Athenais Ferdinand Gregorovius

Paperback

24.49 € 47.89 лв

Recits de Suisse Et d'Italie DE GERES-J

Paperback

21.66 € 42.36 лв

De la cuna a la luna ANTONIO RUBIO

Hardback

10.13 € 19.82 лв

1966-1970

Paperback

26.40 € 51.64 лв

Restrukturierung und Personalabbau als Wege aus der Globalisierungsfalle? Christian Heinrich

Paperback

40.75 € 79.70 лв

100 starke Schritte zum Wohlfühlunternehmen Siegfried Keusch

Hardback

14.30 € 27.97 лв

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.