Distributed Systems: Methods and Tools for Specification. An Advanced Course / Edition 1

Distributed Systems: Methods and Tools for Specification. An Advanced Course / Edition 1

Distributed Systems: Methods and Tools for Specification. An Advanced Course / Edition 1
Add to Wishlist
ISBN-10:
3540152164
ISBN-13:
9783540152163
Pub. Date:
05/12/1988
Publisher:
Springer Berlin Heidelberg
ISBN-10:
3540152164
ISBN-13:
9783540152163
Pub. Date:
05/12/1988
Publisher:
Springer Berlin Heidelberg
Distributed Systems: Methods and Tools for Specification. An Advanced Course / Edition 1

Distributed Systems: Methods and Tools for Specification. An Advanced Course / Edition 1

Product Details

ISBN-13: 9783540152163
Publisher: Springer Berlin Heidelberg
Publication date: 05/12/1988
Series: Lecture Notes in Computer Science , #190
Edition description: 1985
Pages: 576
Product dimensions: 6.10(w) x 9.25(h) x 0.05(d)

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 prool specification.- Conclusion.
From the B&N Reads Blog
Page 1 of

Customer Reviews