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

Print versus Online?

Print versus Online?

$39.99
Redox

Redox

$249.99
Vehicle Interior Sound Quality

Vehicle Interior Sound Quality

$169.99
Energy and Exergy for Sustainable and Clean Environment, Volume 1

Energy and Exergy for Sustainable and Clean Environment, Volume 1

$129.99
Multiple Criteria Decision Making in Finance, Insurance and Investment

Multiple Criteria Decision Making in Finance, Insurance and Investment

$139.99
Advances in Clinical Child Psychology

Advances in Clinical Child Psychology

$129.00
Current Problems in Elementary Particle and Mathematical Physics

Current Problems in Elementary Particle and Mathematical Physics

$39.99
Management Barrier

Management Barrier

$44.99
Applied Stochastic Modeling

Applied Stochastic Modeling

$44.99
Applied Superconductivity, Metallurgy, and Physics of Titanium Alloys:

Applied Superconductivity, Metallurgy, and Physics of Titanium Alloys:

$329.99
Perturbation Compensator based Robust Tracking Control and State Estimation of Mechanical Systems

Perturbation Compensator based Robust Tracking Control and State Estimation of Mechanical Systems

$109.99
Optical Cavities for Optical Atomic Clocks, Atom Interferometry and Gravitational-Wave Detection

Optical Cavities for Optical Atomic Clocks, Atom Interferometry and Gravitational-Wave Detection

$84.99
Fatherhood in Transition

Fatherhood in Transition

$99.99
Modernisierungsfaktor Region

Modernisierungsfaktor Region

$74.99
Crises and Disruptions in International Business

Crises and Disruptions in International Business

$169.99
Assessing Relative Valuation in Equity Markets

Assessing Relative Valuation in Equity Markets

$54.99
Nutrition and Skin

Nutrition and Skin

$169.99
Report on the Rule of Law Index in China 2

Report on the Rule of Law Index in China 2

$179.99
Public Key Cryptography

Public Key Cryptography

$54.99
Dirichlet Forms and Related Topics

Dirichlet Forms and Related Topics

$169.99
Method of Difference Potentials and Its Applications

Method of Difference Potentials and Its Applications

$109.99
Die leisen Stimmen der Vernunft

Die leisen Stimmen der Vernunft

$69.99
Advances in Natural, Human-Made, and Coupled Human-Natural Systems Research

Advances in Natural, Human-Made, and Coupled Human-Natural Systems Research

$129.99
Facets of Eros

Facets of Eros

$54.99
Cerebral Ischemia

Cerebral Ischemia

$39.99
Die gesetzlichen Bestimmungen ber die Rechte und Pflichten der Deutschen Apothekergehlfen

Die gesetzlichen Bestimmungen ber die Rechte und Pflichten der Deutschen Apothekergehlfen

$59.99
Anansi the Spider

Anansi the Spider

$6.71
Familien im Kinderschutz  Resilienz- und Risikofaktoren

Familien im Kinderschutz Resilienz- und Risikofaktoren

$19.99
Feinrechen in der Abwasserreinigung

Feinrechen in der Abwasserreinigung

$44.99
Uncultivated Microorganisms

Uncultivated Microorganisms

$249.99
Automatic Calibration and Reconstruction for Active Vision Systems

Automatic Calibration and Reconstruction for Active Vision Systems

$109.99
Diagnostic Radiology

Diagnostic Radiology

$59.99
Art and Politics under Modern Dictatorships

Art and Politics under Modern Dictatorships

$129.99
Empirische Studien

Empirische Studien

$59.99
IFS

IFS

$169.99
High-Risk Breast Cancer

High-Risk Breast Cancer

$109.99
Techniques and Mechanisms in Electrochemistry

Techniques and Mechanisms in Electrochemistry

$129.00
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem

$54.99
Current Ornithology

Current Ornithology

$169.99
Spectral Theory of Automorphic Functions

Spectral Theory of Automorphic Functions

$54.99
previous
next