Books > Computing & IT > Computer communications & networking
|
Buy Now
Formal Methods for Open Object-based Distributed Systems - Volume 1 (Hardcover, 1996 ed.)
Loot Price: R6,118
Discovery Miles 61 180
|
|
Formal Methods for Open Object-based Distributed Systems - Volume 1 (Hardcover, 1996 ed.)
Series: IFIP Advances in Information and Communication Technology
Expected to ship within 10 - 15 working days
|
Object-based Distributed Computing is being established as the most
pertinent basis for the support of large, heterogeneous computing
and telecommunications systems. The advent of Open Object-based
Distributed Systems (OODS) brings new challenges and opportunities
for the use and development of formal methods. Formal Methods for
Open Object-based Distributed Systems presents the latest research
in several related fields, and the exchange of ideas and
experiences in a number of topics including: formal models for
object-based distributed computing; semantics of object-based
distributed systems and programming languages; formal techniques in
object-based and object oriented specification, analysis and
design; refinement and transformation of specifications; multiple
viewpoint modeling and consistency between different models; formal
techniques in distributed systems verification and testing; types,
service types and subtyping; specification, verification and
testing of quality of service constraints and formal methods and
the object life cycle. It contains the selected proceedings of the
International Workshop on Formal Methods for Open Object-based
Distributed Systems, sponsored by the International Federation for
Information Processing, and based in Paris, France, in March 1996.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.