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

Endocrine Disorders in Thalassemia

Endocrine Disorders in Thalassemia

$39.99
Spiritualitt transdisziplinr

Spiritualitt transdisziplinr

$64.99
Semantic Hyper/Multimedia Adaptation

Semantic Hyper/Multimedia Adaptation

$109.99
Skin Biophysics

Skin Biophysics

$129.00
Establishing Corporate Innovation Communities

Establishing Corporate Innovation Communities

$39.99
Computer Vision  ECCV 2024

Computer Vision ECCV 2024

$64.99
Beam-Foil Spectroscopy

Beam-Foil Spectroscopy

$39.99
Productive and Efficient Data Science with Python

Productive and Efficient Data Science with Python

$64.99
Emerging Nanomaterials for Advanced Technologies

Emerging Nanomaterials for Advanced Technologies

$179.99
Atmospheric and Space Flight Dynamics

Atmospheric and Space Flight Dynamics

$99.00
Haut- und Lederfehler

Haut- und Lederfehler

$59.99
Ratemaking in International Air Transport

Ratemaking in International Air Transport

$54.99
Agents and Implications of Landscape Pattern

Agents and Implications of Landscape Pattern

$84.99
Differenzengleichungen und diskrete dynamische Systeme

Differenzengleichungen und diskrete dynamische Systeme

$44.99
US-Chinese Strategic Triangles

US-Chinese Strategic Triangles

$109.99
Bildungsorientierungen

Bildungsorientierungen

$59.99
Mycobacterial Skin Infections

Mycobacterial Skin Infections

$179.99
External Sulphate Attack  Field Aspects and Lab Tests

External Sulphate Attack Field Aspects and Lab Tests

$129.00
Graphs and Order

Graphs and Order

$259.00
An Introduction to Marine Science

An Introduction to Marine Science

$54.99
Transmission Electron Microscopy and Diffractometry of Materials

Transmission Electron Microscopy and Diffractometry of Materials

$99.00
Wirtschaftsspionage und Intelligence Gathering

Wirtschaftsspionage und Intelligence Gathering

$49.99
A Protocol-theoretic Framework for the Logic of Epistemic Norms

A Protocol-theoretic Framework for the Logic of Epistemic Norms

$109.99
Rethinking Cultural Criticism

Rethinking Cultural Criticism

$119.99
Wild Fruits: Composition, Nutritional Value and Products

Wild Fruits: Composition, Nutritional Value and Products

$199.99
Label-Free Biosensing

Label-Free Biosensing

$449.99
Broadband Terahertz Communication Technologies

Broadband Terahertz Communication Technologies

$109.99
Dihedral Fourier Analysis

Dihedral Fourier Analysis

$109.99
Transnationalism, Nationalism and Australian History

Transnationalism, Nationalism and Australian History

$79.99
Sexual Violence in Western Thought and Writing

Sexual Violence in Western Thought and Writing

$54.99
Computational Methods in Engineering & Science

Computational Methods in Engineering & Science

$299.00
Pediatric Head and Neck Textbook

Pediatric Head and Neck Textbook

$139.99
Pseudodifferential Operators and Wavelets over Real and p-adic Fields

Pseudodifferential Operators and Wavelets over Real and p-adic Fields

$99.00
Phytochrome Properties and Biological Action

Phytochrome Properties and Biological Action

$109.99
The Vertebrate Integument Volume 2

The Vertebrate Integument Volume 2

$169.99
Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

$54.99
Refinement

Refinement

$54.99
Rapid Integration of Software Engineering Techniques

Rapid Integration of Software Engineering Techniques

$39.99
Structure-Property Relationships in Non-Linear Optical Crystals II

Structure-Property Relationships in Non-Linear Optical Crystals II

$219.99
Analysis of Pesticides in Ground and Surface Water I

Analysis of Pesticides in Ground and Surface Water I

$84.99
previous
next