Copied Formal Methods for Protocol Engineering and Distributed Systems
Formal Methods for Protocol Engineering and Distributed Systems
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.
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
|
|
$169.00 | $169.00 |
|
$169.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
ELECTRIMACS 2022
$219.99
Pharmakokinetik und Arzneistoffmetabolismus
$84.99
Handbook of Orthopaedic Trauma Implantology
$1,599.99
Export des europischen Beihilfenrechts
$69.99
Das erklrte Universum
$44.99
Richtwerte fr eine Platzkostenrechnung in der Gesenkschmiedeindustrie
$59.99
Who Needs a Checkup?: An Acorn Book (Hello, Hedgehog #3)
$3.74
RESTART Sustainable Business Model Innovation
$31.00
Favorite Greek Myths
$6.74
Integrated Business Information Systems
$49.99
Software Architecture
$39.99
Linear Fractional Diffusion-Wave Equation for Scientists and Engineers
$54.99
Globalisation Impacts
$99.00
Gender, Work and Wages in the Soviet Union
$84.99
Data Mining
$89.99
Materials Syntheses
$109.99
Artificial Intelligence and Symbolic Computation
$54.99
Plant Genome Editing Technologies
$169.00
Bekanntmachung des Einheitlichen Ansprechpartners
$49.99
Strong Shape and Homology
$109.99
Rhizome Metaphor
$159.99
Implementing Industry SMEs
$54.99
Learn About Water: The Water Cycle
$5.24
Fundamentals of Vascular Biology
$79.99
Emissions of Atmospheric Trace Compounds
$329.99
Guide to Applying the UML
$39.99
Gieener Gynkologische Fortbildung 2003
$59.99
Cortical Development
$129.00
Green Adsorbents for Pollutant Removal
$109.99
Introduction to Nano
$129.00
Marcus Vega Doesn't Speak Spanish
$6.74
Lvy Matters IV
$59.99
Flexibilitt in logistischen Systemen
$59.99
Python for Graph and Network Analysis
$99.00
Everyday Enterprise Architecture
$59.99
Transformation von Ungleichheitsregimes
$64.99
L. E. J. Brouwer: Intuitionismus
$34.99
Modeling and Simulation in Engineering, Economics, and Management
$39.99
Skin Colour Politics
$89.99
Spectral Theory in Inner Product Spaces and Applications
$109.99
