Breaking News!
Up to 30% Off Nike Footwear

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

Semiconductor Photonics of Nanomaterials and Quantum Structures

Semiconductor Photonics of Nanomaterials and Quantum Structures

$179.99
Phonics Chapter Book - Level 2: Kids Care about Sea Animals

Phonics Chapter Book - Level 2: Kids Care about Sea Animals

$6.74
The Palgrave International Handbook of Alternative Education

The Palgrave International Handbook of Alternative Education

$199.99
Smart Technologies and Innovations in Design for Control of Technological Processes and Objects: Eco

Smart Technologies and Innovations in Design for Control of Technological Processes and Objects: Eco

$189.00
Prozessexzellenz im HR-Management

Prozessexzellenz im HR-Management

$109.00
Materialwirtschaft und Einkauf

Materialwirtschaft und Einkauf

$59.99
Lehrbuch der Quantitativen Analyse

Lehrbuch der Quantitativen Analyse

$99.99
Ma- und Integrationstheorie

Ma- und Integrationstheorie

$64.99
Animal Cell Technology: From Target to Market

Animal Cell Technology: From Target to Market

$299.00
Endoscopic Dacryocystorhinostomy

Endoscopic Dacryocystorhinostomy

$169.99
Programming and Meta-Programming in Scheme

Programming and Meta-Programming in Scheme

$39.99
Zur Aerodynamik des Ringflgels. Die Druckverteilung dnner, fast drehsymmetrischer Flgel in Unters

Zur Aerodynamik des Ringflgels. Die Druckverteilung dnner, fast drehsymmetrischer Flgel in Unters

$59.99
Hungary and the Victor Powers, 1945-1950

Hungary and the Victor Powers, 1945-1950

$109.99
Arterial Remodeling: A Critical Factor in Restenosis

Arterial Remodeling: A Critical Factor in Restenosis

$169.00
DGU

DGU

$59.99
Deep Learning in Healthcare

Deep Learning in Healthcare

$179.99
Amorphous Polymers and Non-Newtonian Fluids

Amorphous Polymers and Non-Newtonian Fluids

$109.99
Feeding and Management of Foals and Growing Horses

Feeding and Management of Foals and Growing Horses

$129.99
Computational Intelligence and Its Applications

Computational Intelligence and Its Applications

$189.00
Standards-Based Technology and Engineering Education

Standards-Based Technology and Engineering Education

$169.99
Neuroscience in Space

Neuroscience in Space

$34.99
Base Editors

Base Editors

$139.99
Managing Your Data Science Projects

Managing Your Data Science Projects

$44.99
Performing Gender at Work

Performing Gender at Work

$109.99
Numerical Treatment of Inverse Problems in Differential and Integral Equations

Numerical Treatment of Inverse Problems in Differential and Integral Equations

$54.99
Productive Performance of Chinese Enterprises

Productive Performance of Chinese Enterprises

$169.99
Biochemistry and Molecular Biology of Wood

Biochemistry and Molecular Biology of Wood

$119.00
Kekuls Trume

Kekuls Trume

$39.99
Soziologische Probleme medizinischer Berufe

Soziologische Probleme medizinischer Berufe

$59.99
Ethical Challenges in Cancer Diagnosis and Therapy

Ethical Challenges in Cancer Diagnosis and Therapy

$139.99
Gendered Migrations and Global Social Reproduction

Gendered Migrations and Global Social Reproduction

$54.99
The Nature of Peace and the Morality of Armed Conflict

The Nature of Peace and the Morality of Armed Conflict

$109.99
The Subject of Speech Perception

The Subject of Speech Perception

$109.99
Childbirth-Related Pelvic Floor Dysfunction

Childbirth-Related Pelvic Floor Dysfunction

$79.99
Neoliberalization, Universities and the Public Intellectual

Neoliberalization, Universities and the Public Intellectual

$54.99
Immunobiology of Bacterial CpG-DNA

Immunobiology of Bacterial CpG-DNA

$84.99
Inductive Logic Programming

Inductive Logic Programming

$54.99
Handbook of Fathers and Child Development

Handbook of Fathers and Child Development

$299.99
Complex Macromolecular Systems I

Complex Macromolecular Systems I

$259.00
Inflation and Unemployment in a Monetary Union

Inflation and Unemployment in a Monetary Union

$109.99
previous
next