Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Methods for Protocol Engineering and Distributed Systems

Formal Methods for Protocol Engineering and Distributed Systems

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
1 Offer Price Range: $169.00 - $169.00
BEST PRICE

Single Product Purchase

$169.00
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$169.00 $169.00

$169.00
See Site In stock Visit Store

Similar Products

Kauf, Miete und Leasing im Rating

$74.99

Digitale Kulturkommunikation

$59.99

Analytical Chemistry of Molybdenum

$54.99

Reactor Dosimetry

$54.99

Private Development Aid in Europe

$54.99

Constructing Number

$149.00

Lola: Lola Gets A Cat

$5.96

Bundestagswahlen

$17.99

Mathematische Methoden in der Systemtheorie: Fourieranalysis

$39.99

Bildungsungleichheit revisited

$29.99

Rekursion in modularen Organisationsstrukturen von Unternehmen

$59.99

Chirurgenverzeichnis

$59.99

The State Economic Handbook 2010

$109.99

The British Pop Music Film

$39.99

Modern Full-Stack Development

$44.99

Statistische Testverfahren, Signifikanz und p-Werte

$17.99

Split Manufacturing of Integrated Circuits for Hardware Security and Trust

$99.99

Manuelle Medizin

$69.99

A Practical Guide to Analog Behavioral Modeling for IC System Design

$169.99

Die geheimnisvollen Visionen des Herrn S

$44.99

Basic Concepts in Digital Signal Processing for Seismologists

$39.99

Revisionsendoprothetik Knie

$24.99

Technik und Zukunft

$69.99

Stoppt die Kompetenzkatastrophe!

$9.99

Cooperative Robots and Sensor Networks 2014

$109.99

Major Companies of the Arab World 1988

$84.99

Kapitalmarkt und zeitkontinuierliche Bewertung

$59.99

Handbuch der Rehabilitationspsychologie

$69.99

The Mathematics of Voting and Apportionment

$44.99

The Physiology of Thirst and Sodium Appetite

$54.99

Vaccinia Virus and Poxvirology

$109.99

Industrial Robots / Robots industriels / Industrie-Roboter

$54.99

Mechanics of Breathing

$169.99

Polymer Photodegradation

$429.00

25 Quick Formative Assessments for a Differentiated Classroom, 2nd Edition (30-copy pack)

$494.70

Critical Care Echocardiography

$44.99

ESL Models and their Application

$84.99

Operation, Planning, and Analysis of Energy Storage Systems in Smart Energy Hubs

$169.99

Genetically Defined Animal Models of Neurobehavioral Dysfunctions

$54.99

Tulane University Ring and Operator Theory Year, 1970-1971

$34.99