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 Description Techniques and Protocol Specification, Testing and Verification

Formal Description Techniques and Protocol Specification, Testing and Verification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780387353944
Condition
New
Product Description

Formal Description Techniques and Protocol Specification, Testing and Verification 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 and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.

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

Higher Order Logic Theorem Proving and Its Applications

$39.99

Sustainable Approaches and Business Challenges in Times of Crisis

$169.99

Sound-Based Assistive Technology

$139.99

Logical and Epistemological Studies in Contemporary Physics

$109.99

Siegelsche Modulfunktionen

$54.99

Human Cell Culture Protocols

$129.00

Macroeconomic Theory and Macroeconomic Pedagogy

$54.99

Partial Differential Equations IX

$109.99

Emerging Capitalism in Central Europe and Southeast Asia

$54.99

Architektur und Betrieb von Rechensystemen

$69.99

Issues on Health and Healthcare in India

$109.99

The Origin of the Chemical Elements and the Oklo Phenomenon

$39.99

Chronische Erschpfung - nur mde oder wirklich krank?

$19.99

Dementia in Nursing Homes

$49.99

Umformung kunststoffbeschichteter Stahlbleche durch Tiefziehen

$79.99

The Relationship between Regime Type and Civic Education

$119.99

Nutritional and Toxicological Significance of Enzyme Inhibitors in Foods

$84.99

Distributed Computing and Artificial Intelligence, 13th International Conference

$129.00

The Semantic Web

$74.99

The Man Who Walked Between The Towers

$6.50

The Elephant Hunters

$39.99

Strafrechtliche Analyse der Umsatzsteuerhinterziehung und ihre Bekmpfung

$64.99

Developmental Assets and Asset-Building Communities

$169.99

MATLAB Machine Learning Recipes

$54.99

The Resurgence of Parish Council Powers in England

$49.99

Choreographing Problems

$99.99

Soziale Differenz in Bildungsplnen fr die Kindertagesbetreuung

$59.99

Angelo Zottoli, a Jesuit Missionary in China (1848 to 1902)

$109.99

SQL Server 2008 Query Performance Tuning Distilled

$54.99

Die AfD und der Rechtsextremismus

$17.99

Yeatss Poems

$37.99

Proceedings of ECSF 2021

$169.99

Seafarers Rights in China

$109.99

Whatever After: Just Dance (Hardcover)

$11.24

Commodities, Governance and Economic Development under Globalization

$84.99

Interfacial Electrochemistry

$49.99

Allergische Diathese und Allergische Erkrankungen

$59.99

Lsungen zum Lehrbuch Buchfhrung 2 DATEV-Kontenrahmen 2018

$19.99

Fasciola hepatica

$89.00

Pascal at Work and Play

$99.00