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
9780387355788
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

Classical Mechanics

Classical Mechanics

$64.99
Hypertension and Cardiac Organ Damage

Hypertension and Cardiac Organ Damage

$54.99
Geschichte der literarischen Vortragskunst

Geschichte der literarischen Vortragskunst

$169.99
Artificial Intelligence and the Future of International Law

Artificial Intelligence and the Future of International Law

$54.99
Die mediatisierte Stadt

Die mediatisierte Stadt

$39.99
Fantasmas

Fantasmas

$9.74
Chemical Anatomy of the Zebrafish Retina

Chemical Anatomy of the Zebrafish Retina

$109.99
Bankmagazin - Jahrgang 2022 -- Teil 2

Bankmagazin - Jahrgang 2022 -- Teil 2

$49.99
Pattern Recognition and Computer Vision

Pattern Recognition and Computer Vision

$54.99
Collaborative Computing: Networking, Applications and Worksharing

Collaborative Computing: Networking, Applications and Worksharing

$99.99
Clinicians Manual on Autism Spectrum Disorder

Clinicians Manual on Autism Spectrum Disorder

$54.99
Japanese Foreign Policy in Asia and the Pacific

Japanese Foreign Policy in Asia and the Pacific

$39.99
Art and Desire

Art and Desire

$49.95
Religious Renewal in France, 1789-1870

Religious Renewal in France, 1789-1870

$129.99
Heidegger, Aristotle and the Work of Art

Heidegger, Aristotle and the Work of Art

$54.99
Spanish NonFiction Grades K-3

Spanish NonFiction Grades K-3

$69.00
Surface- and Groundwater Quality Changes in Periods of Water Scarcity

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

$109.99
Climate-Drought Resilience in Extreme Environments

Climate-Drought Resilience in Extreme Environments

$109.99
Modern Hematology

Modern Hematology

$139.00
The Politics and International Relations of Fantasy Films and Television

The Politics and International Relations of Fantasy Films and Television

$99.00
Bertolt Brecht

Bertolt Brecht

$29.99
Evaluation Methods in Biomedical and Health Informatics

Evaluation Methods in Biomedical and Health Informatics

$89.99
Mechanosensory Transduction in Drosophila Melanogaster

Mechanosensory Transduction in Drosophila Melanogaster

$54.99
Design of Flexible Production Systems

Design of Flexible Production Systems

$149.00
Ready4Reading: Short Reads Decodables

Ready4Reading: Short Reads Decodables

$950.00
Childhood Leukemia: Present Problems and Future Prospects

Childhood Leukemia: Present Problems and Future Prospects

$129.00
Nitric Oxide in Plants

Nitric Oxide in Plants

$109.99
Position Sensorless Control Techniques for Permanent Magnet Synchronous Machine Drives

Position Sensorless Control Techniques for Permanent Magnet Synchronous Machine Drives

$129.00
Constructions of Victimhood

Constructions of Victimhood

$99.99
Energiemodelle zum Klimaschutz in Deutschland

Energiemodelle zum Klimaschutz in Deutschland

$59.99
Networked Digital Technologies, Part II

Networked Digital Technologies, Part II

$109.99
75. Kongre

75. Kongre

$49.99
Handbuch Stabsarbeit

Handbuch Stabsarbeit

$49.99
Approximation, Probability, and Related Fields

Approximation, Probability, and Related Fields

$39.99
Collusion, Local Governments and Development in China

Collusion, Local Governments and Development in China

$99.99
Riemann Surfaces and Generalized Theta Functions

Riemann Surfaces and Generalized Theta Functions

$39.99
Bone Quantitative Ultrasound

Bone Quantitative Ultrasound

$189.00
Eyeblink Classical Conditioning Volume 1

Eyeblink Classical Conditioning Volume 1

$129.00
Advances in Materials Engineering and Manufacturing Processes

Advances in Materials Engineering and Manufacturing Processes

$249.99
Crisis and Reorientation

Crisis and Reorientation

$169.99
previous
next