Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Language EnglishEnglish
Book Paperback
Book Formal Methods for Distributed System Development Tommaso Bolognesi
Libristo code: 02181631
Publishers Springer, Berlin, February 2013
This book addresses Formal Methods (FMs) applicable to the specification, verification, implementati... Full description
? points 541 b
79 260 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Pět elementů Frank Seefelder / Book Paperback
common.buy 4 002 Ft
100 starke Schritte zum Wohlfühlunternehmen Siegfried Keusch / Book Hardback
common.buy 5 260 Ft
Ma vie avec Marcel Proust Cusset / Book Paperback
common.buy 8 135 Ft
leopardo che mangiava gli uomini Jim Corbett / Book Book
common.buy 8 047 Ft
Erarbeitung eines Kennzahlensystems fur ein Grosshandelsunternehmen - Umsetzung mit Hilfe von Software zur Unterstutzung von Plansimulationen Alexander Stichweh / Book Paperback
common.buy 16 606 Ft
De la cuna a la luna ANTONIO RUBIO / Book Hardback
common.buy 3 429 Ft
Dream Teams Wolf W. Lasko / Book Paperback
common.buy 21 210 Ft
1966-1970 / Book Paperback
common.buy 9 734 Ft
Objevujeme svět hrou! Zoo Nathalie Choux / Book Board book
common.buy 3 591 Ft
Hon na maminho zajačika Kristína Pavelková / Book Hardback
common.buy 1 729 Ft
Das Wetter im Sprichwort Otto von Reinsberg-Düringsfeld / Book Paperback
common.buy 11 767 Ft
Arquitetura Escolar Publica Paulista Mirela Geiger de Mello / Book Paperback
common.buy 21 224 Ft
Alpi 2005-2018 Burani / Book Paperback
common.buy 6 036 Ft
Implikationen der Theorie realer Konjunkturzyklen fur die Stabilisierungspolitik Dirk Stelzer / Book Paperback
common.buy 23 507 Ft
Sodoma Martel Frédéric / Book Paperback
common.buy 3 882 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Distributed System Development
Author Tommaso Bolognesi, Diego Latella
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 412
EAN 9781475752649
ISBN 1475752644
Libristo code 02181631
Publishers Springer, Berlin
Weight 652
Dimensions 155 x 235 x 22

Categories

Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Programming techniques
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Sweet Maids Hot Dreams Kazuma Ogaeri / Book Hardback
common.buy 20 711 Ft
Graph-Based Representations in Pattern Recognition Cheng-Lin Liu / Book Paperback
common.buy 19 902 Ft
Care of Dependents of Enlisted Men in Canada S Herbert 1874-1927 Wolfe / Book Hardback
common.buy 11 374 Ft
Anarchist's Guide to Historic House Museums Franklin D. Vagnone / Book Paperback
common.buy 17 882 Ft
The Burglar in the Closet Lawrence Block / Book Paperback
common.buy 3 545 Ft
The Preachers of Scotland: From the Sixth to the Nineteenth Century William G. Blaikie / Book Hardback
common.buy 9 734 Ft
Teddy's Journal Stan Abshier / Book Paperback
common.buy 12 650 Ft
Sound Absorption Coefficient and Young's Modulus of Concrete Reginald Raymund A. Caturza / Book Paperback
common.buy 12 456 Ft
Comfort Zone KENNETH A. LUIKART / Book Paperback
common.buy 8 310 Ft
Life Doesn't Frighten Me (Twenty-fifth Anniversary Edition) Maya Angelou / Book Hardback
common.buy 6 729 Ft
Conchologia cestrica William Dell Hartman / Book Paperback
common.buy 5 921 Ft
Sexhibitionists Garrett Yankou / Book Paperback
common.buy 7 418 Ft
Selene: The Most Famous Bull-leaper on Earth Zsuzsanna Emese Budapest / Book Paperback
common.buy 4 659 Ft
How Government Fails Us: How The US Government "Functions" Without Regard For The Frequently Negative Ramifications Of Its Actions Kip Koehler / Book Paperback
common.buy 4 968 Ft
The First Soul W J Cherf / Book Paperback
common.buy 7 418 Ft
Sevcik Viola Studies: School of Technique Part 2 Otakar Sevcik / Book Paperback
common.buy 3 457 Ft
Advanced Polytopic Projects Octavian Iordache / Book Paperback
common.buy 39 688 Ft
10-Day Alcohol Detox Plan Lewis David / Book Paperback
common.buy 5 671 Ft
Angelus Silesius, Johannes Scheffler: Bild Eines Convertiten, Dichters Und Streittheologen (1876) Wilhelm Lindemann / Book Paperback
common.buy 9 572 Ft
Ayurvedic Detox - A guide To Losing Toxins From The Body Anand Gupta / Book Paperback
common.buy 6 637 Ft
Common Mental Health Problems in Primary Care Mark White / Book Paperback
common.buy 21 515 Ft
Antique European Furniture, Secular and Church Silver, Ivory and Wood Carvings, Rare Mohammedan Pottery, European Porcelains, Oriental Bronzes Propert American Art Association / Book Paperback
common.buy 7 034 Ft
Despite Ceausescu Frances Tyler / Book Paperback
common.buy 7 575 Ft
Dowsing Triage: Find and Fix Energy Problems Susan Joan Collins / Book Paperback
common.buy 4 659 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?