Books > Computing & IT > Computer programming > Object-oriented programming (OOP)
|
Buy Now
Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA (Hardcover, 2000 ed.)
Loot Price: R5,677
Discovery Miles 56 770
|
|
Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA (Hardcover, 2000 ed.)
Series: IFIP Advances in Information and Communication Technology, 49
Expected to ship within 10 - 15 working days
|
Formal Methods for Open Object-Based Distributed Systems IV
presents the leading edge in the fields of object-oriented
programming, open distributed systems, and formal methods for
object-oriented systems. With increased support within industry
regarding these areas, this book captures the most up-to-date
information on the subject. Papers in this volume focus on the
following specific technologies: components; mobile code; Java (R);
The Unified Modeling Language (UML); refinement of specifications;
types and subtyping; temporal and probabilistic systems. This
volume comprises the proceedings of the Fourth International
Workshop on Formal Methods for Open Object-Based Distributed
Systems (FMOODS 2000), which was sponsored by the International
Federation for Information Processing (IFIP) and held in Stanford,
California, USA, in September 2000.
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.