Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Methods for Protocol Engineering and Distributed Systems

Best Price (Coupon Required):
Buy Formal Methods for Protocol Engineering and Distributed Systems for $152.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $169.00 - $169.00
BEST PRICE

Single Product Purchase

$152.10
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$169.00 $169.00

10% OFF
This deals requires coupon
$152.10
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792386469
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems

$54.99
Metal-Ligand Interactions in Chemistry, Physics and Biology

Metal-Ligand Interactions in Chemistry, Physics and Biology

$169.99
To The Stars

To The Stars

$8.43
The Poetics of Description

The Poetics of Description

$54.99
Die Colonresektion

Die Colonresektion

$69.99
Estuarine Morphodynamics of the Sunderbans

Estuarine Morphodynamics of the Sunderbans

$109.99
Prozesseigner

Prozesseigner

$44.99
My First Big Book of Princesses by Little Bee Books

My First Big Book of Princesses by Little Bee Books

$9.99
Grenzsoziologie

Grenzsoziologie

$29.99
Dermatologische Diagnostik

Dermatologische Diagnostik

$59.99
Representation Theory and Automorphic Forms

Representation Theory and Automorphic Forms

$139.99
Linking Restoration and Ecological Succession

Linking Restoration and Ecological Succession

$109.99
Handbook of Big Geospatial Data

Handbook of Big Geospatial Data

$249.99
Full-Stack Web Development with Jakarta EE and Vue.js

Full-Stack Web Development with Jakarta EE and Vue.js

$59.99
Demographic Transition, Labour Markets and Regional Resilience

Demographic Transition, Labour Markets and Regional Resilience

$84.99
Professionelle Angebotserstellung

Professionelle Angebotserstellung

$17.99
Man-Made and Natural Radioactivity in Environmental Pollution and Radiochronology

Man-Made and Natural Radioactivity in Environmental Pollution and Radiochronology

$169.99
Adoption energieeffizienter Techniken in KMU

Adoption energieeffizienter Techniken in KMU

$49.99
Tug of War

Tug of War

$38.00
Competing Capitalisms

Competing Capitalisms

$109.99
Hypnose wirkt!

Hypnose wirkt!

$29.99
Upper Bounds for Grothendieck Constants, Quantum Correlation Matrices and CCP Functions

Upper Bounds for Grothendieck Constants, Quantum Correlation Matrices and CCP Functions

$49.99
Mindful Leadership Coaching

Mindful Leadership Coaching

$39.99
Geschlechtsspezifische Ungleichheit im Erwerbsverlauf

Geschlechtsspezifische Ungleichheit im Erwerbsverlauf

$44.99
Lehrerprofessionalitt im Bereich der politischen Bildung

Lehrerprofessionalitt im Bereich der politischen Bildung

$39.99
Environmental Impacts of Mining Activities

Environmental Impacts of Mining Activities

$84.99
Organisationsberatung

Organisationsberatung

$69.99
Martin Waldseemllers 'Carta marina' of 1516

Martin Waldseemllers 'Carta marina' of 1516

$59.99
Versuch einer Darstellung des Strukturwandels und des Konjunkturverlaufs in der Weltmaschinenausfuhr

Versuch einer Darstellung des Strukturwandels und des Konjunkturverlaufs in der Weltmaschinenausfuhr

$59.99
Resolution Proof Systems

Resolution Proof Systems

$109.99
Reflexive Sozialpsychologie

Reflexive Sozialpsychologie

$17.99
Soft Computing and Fractal Theory for Intelligent Manufacturing

Soft Computing and Fractal Theory for Intelligent Manufacturing

$129.00
Markets, Class and Social Change

Markets, Class and Social Change

$109.99
Active Oxygen in Chemistry

Active Oxygen in Chemistry

$129.00
Deep Learning-Based Detection of Catenary Support Component Defect and Fault in High-Speed Railways

Deep Learning-Based Detection of Catenary Support Component Defect and Fault in High-Speed Railways

$169.99
Private Tutoring Across the Mediterranean

Private Tutoring Across the Mediterranean

$49.99
Smart Cities, Green Technologies and Intelligent Transport Systems

Smart Cities, Green Technologies and Intelligent Transport Systems

$54.99
Energy Storage and Redistribution in Molecules

Energy Storage and Redistribution in Molecules

$39.99
The FitzHugh-Nagumo Model

The FitzHugh-Nagumo Model

$129.99
New Issues in Financial and Credit Markets

New Issues in Financial and Credit Markets

$135.00
previous
next