Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Name: Slickpurchase Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190) - Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)
Brand: Slickpurchase
SKU: 45476724015219
Price: 59.99 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$59.99$65.99

9% off

Quantity

Color

Black

Quantity

Basic concepts.- Acquisition - environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.

Exclusive offer available

Slickpurchase

4.4 (53)

Product description loading

This is the product description text that will appear here.

Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Slickpurchase

You might also like

Slickpurchase

You might also like

Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Description

Delivery & Returns

Slickpurchase

You might also like

Description

Delivery & Returns

Slickpurchase

You might also like