Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
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 (Paperback, Softcover reprint of the original 1st ed. 2000)
Loot Price: R5,468
Discovery Miles 54 680
|
|
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 (Paperback, Softcover reprint of the original 1st ed. 2000)
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.