Distributed Systems

Name: Distributed Systems
SKU: 2826721
Price: 156.00 NZD
Availability: InStock

Methods and Tools for Specification. An Advanced Course

By:

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$156.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.00 with Afterpay Learn more

6 weekly interest-free payments of $26.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 4-14 June using International Courier

Description

Table of Contents

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.

Release date NZ

April 1st, 1985

Author

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational
Undergraduate

Contributors

Edited by H J Siegert
Edited by Manfred Paul

Illustrations

VIII, 576 p.

Pages

576

Series

Lecture Notes in Computer Science,

Dimensions

156x234x30

ISBN-13

9783540152163

Product ID

2826721

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here