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 Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX'99

Language EnglishEnglish
Book Paperback
Book Formal Methods for Protocol Engineering and Distributed Systems ianping Wu
Libristo code: 02175356
Publishers Springer, Berlin, April 2013
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniq... 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

Teoria Wielkiego Podrywu. Za kulisami serialu, który pokochały miliony Jessica Radloff / Book Paperback
common.buy 4 765 Ft
Petit Hérisson et les invités de Noël M. Christina Butler / Book Hardback
common.buy 6 332 Ft
révolution galiléenne : cosmos et univers (La) Chareix / Book Paperback
common.buy 5 879 Ft
Baariprinsessa Cupido - Cupido / E-book Adobe ePub DRM
common.buy 2 126 Ft
Culture, puissance et pouvoir Bailly / Book Book
common.buy 6 919 Ft
Classique Hachette - Les Fleurs du Mal, Baudelaire André Natali / Book Book
common.buy 2 741 Ft
Harry Potter und der Gefangene von Askaban Joanne Rowling / Audio Audio CD
common.buy 9 877 Ft
Des Troubles Cardio-Vasculaires Dans Les Nephrites Aigues de l'Enfance Foucault-M / Book Paperback
common.buy 6 318 Ft
Šťastné blues aneb z deníku Jaroslava Ježka František Cinger / Book Hardback
common.buy 2 916 Ft
Sravnitel'naya harakteristika sovremennyh metodov liposakcii Georgij Sulamanidze / Book Paperback
common.buy 12 793 Ft
Boolesche Algebra Und Ihre Anwendungen John Eldon Whitesitt / Book Paperback
common.buy 20 447 Ft
Eficacia o ineficacia Cecilia Isabel Castillo Gil / Book Paperback
common.buy 10 085 Ft
Igi Araba - Der Traum beginnt (I) Luigi Carlo De Micco / Book Hardback
common.buy 8 675 Ft

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: §FDT-based system and protocol engineering; §FDT application to distributed systems; §Protocol engineeering; §Practical experience and case studies. §Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. §This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and 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 Protocol Engineering and Distributed Systems
Author ianping Wu, Samuel T. Chanson, uiang Gao
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 500
EAN 9781475752700
ISBN 1475752709
Libristo code 02175356
Publishers Springer, Berlin
Weight 1259
Dimensions 210 x 279 x 26

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 science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Wacky Tales of Wicked Witches Pegasus / Book Paperback
common.buy 1 701 Ft
Christine's Philosophical Journey to San Diego - 2018 edition FRANK KYLE / Book Paperback
common.buy 17 882 Ft
Sammy Keyes and the Search for Snake Eyes Wendelin Van Draanen / Book Paperback
common.buy 5 408 Ft
Zen Drawing Workbook Suzanne McNeill / Book Paperback
common.buy 5 981 Ft
Piano Adventures Technique & Artistry Level 3A Nancy Faber / Book Book
common.buy 3 004 Ft
Integrated Transport Moshe Givoni / Book Paperback
common.buy 26 585 Ft
Tails of Kittyland Claire Cossette / Book Paperback
common.buy 7 695 Ft
Adventures in the Slavic Kitchen Igor Klekh / Book Paperback
common.buy 7 594 Ft
Underground Cecilia Johanna / Book Paperback
common.buy 5 103 Ft
Treatise on Geometrical Conics Arthur Cockshott / Book Paperback
common.buy 7 298 Ft
Being a Good Patient Can Save Your Life: A guide to improve your medical care now and long term. Alexander L Sytman M D / Book Paperback
common.buy 3 619 Ft
Stolen Innocence C M Swilley / Book Paperback
common.buy 5 348 Ft
Selected Speeches of His Imperial Majesty Haile Selassie I Tafari / Book Paperback
common.buy 11 915 Ft
My Name Is Victoria Lucy Worsley / Book Paperback
common.buy 4 571 Ft
Top
Hiking & Trekking in Cordillera Blanca & Huayhuash Map 1 (North) Nevado Huascaran, Alpamayo, Corongo, Huallanca, Caraz, Pomabamba Topographic Map Atla Sergio Mazitto / Book Paperback
common.buy 5 671 Ft
First Example of a Lyotropic Smectic C* Analog Phase JOHANNA. R BRUCKNER / Book Paperback
common.buy 41 699 Ft
Simulation Based Engineering in Solid Mechanics J.S. Rao / Book Paperback
common.buy 39 688 Ft
Prototyping and Modelmaking for Product Design Bjarki Hallgrimsson / Book Paperback
common.buy 14 670 Ft
Parricide and Violence Against Parents throughout History Marianna Muravyeva / Book Paperback
common.buy 44 952 Ft
Science Skills Level 5 Pupil's Pack Cambridge University Press / Book Hardback
common.buy 15 904 Ft
Top
Storm of Swords: The Illustrated Edition George R. R. Martin / Book Hardback
common.buy 13 644 Ft
Black Mesa Blues Knoll John Knoll / Book Paperback
common.buy 4 146 Ft
Hold Me Tight Lorie Ann Grover / Book Paperback
common.buy 5 717 Ft
Understanding Motivation and Emotion Reeve / Book Paperback
common.buy 36 772 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?