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

Single Product Purchase

$152.10
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$152.10
See Site In stock Visit Store

Similar Products

Anna Seghers-Handbuch

$79.99

Stat Labs

$79.99

Reviews of Environmental Contamination and Toxicology Volume 259

$129.99

10 cosas que puedes hacer para ahorrar electricidad

$18.75

West Papuan Decolonisation

$39.99

The Future of Nursing 2020-2030: Global Applications to Advance Health Equity

$59.99

Functional Analysis I

$129.99

Natural Hazards and Disaster Justice

$159.99

The Global Geometry of Turbulence

$39.99

Computational Science and Its Applications - ICCSA 2014

$54.99

Biosynthese und Alterung von Kollagen

$69.99

An Introduction to Industrial Chemistry

$169.99

Men and Feminism in Modern Literature

$169.99

Modern Schools of Linguistic Thought

$49.99

Well-Being and Cultures

$109.99

Thriving in the Gig Economy

$44.99

Food Antioxidants

$39.99

Praxishandbuch berufliche Schlsselkompetenzen

$29.99

NC-Programmierung

$69.99

Alterspsychotherapie Quo vadis?

$59.99

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of De

$99.00

Mobile Commerce

$59.99

Jahrbuch der Psychoonkologie 1997

$59.99

Goethe-Erfahrungen

$49.99

Optical Properties of IIIV Semiconductors

$39.99

Ankunft im Erwachsenenleben

$59.99

What If We Don't Die?

$19.99

Addressing Environmental and Food Justice toward Dismantling the School-to-Prison Pipeline

$119.99

Imaging Cell Signaling

$219.99

Annals of Theoretical Psychology

$129.00

The Martial Ethic in Early Modern Germany

$149.00

A Buddhist Theory of Killing

$119.99

Emerging Research in Computing, Information, Communication and Applications

$199.99

Pattern Recognition

$54.99

Ludwig Wittgenstein: Dictating Philosophy

$49.99

Forestry Pesticide Aerial Spraying

$84.99

Zur Gestaltpsychologie menschlicher Werte

$64.99

Mafic-ultramafic Intrusions in Beishan and Eastern Tianshan at Southern CAOB: Petrogenesis, Minerali

$84.99

European Youth Labour Markets

$79.99

Global Value Chains in Latin America

$169.99