Error title
Some error text about your books and stuff.
Close

Formal Methods for Open Object-Based Distributed Systems IV Ifip Tc6/Wg6.1 Fourth International Conference on Formal Methods for Open Object-Based Dis

by Scott F. Smith

  • ISBN: 9780792379232
  • ISBN10: 0792379233

Formal Methods for Open Object-Based Distributed Systems IV Ifip Tc6/Wg6.1 Fourth International Conference on Formal Methods for Open Object-Based Dis

by Scott F. Smith

  • List Price: $284.00
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 08/01/2000
  • ISBN: 9780792379232
  • ISBN10: 0792379233
used Add to Cart $73.72
You save: 74%
Marketplace Item
new Add to Cart $247.93
You save: 13%
FREE economy shipping!
Description: Preface. Part I: Invited Talk. On the Semantics of Java Spaces; N. Busi, et al. Part II: Mobility. Elements of an object-based model for distributed and mobile computation; J.-B. Stefani, et al. Specification of Mobile Code Systems using Graph Grammars; F.L. Dotti, L. Ribeiro. Atomic Failure in Wide-Area Computation; D. Duggan. Part III: Invited Talk. Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems; J. Meseguer. Part IV: Java / UML. Requirements Level Semantics for UML Statecharts; R. Eshuis, R. Wieringa. A Step Toward Automatic Distribution of Java Programs; I. Attali, et al. Using Relationals and Behavioural Semantics in the Verification of Object Models; C. Bolton, J. Davies. Formally Modeling UML and its Evolution: A Holistic Approach; A.T. lvarez, et al. Part V: Invited Talk. Object-Oriented Programming for Wide-Area Computing; J. Misra. Part VI: Refinement and Subtyping. Behavioural Subtyping and Property Preservation; H. Wehrheim. A Practical Approach to Incremental Specification; C. Lakos, G. Lewis. Refinement of objects and operations in Object-Z; J. Derrick, E. Boiten. Part VII: Invited Talk. E-speak: the Technology for Ubiquitous E-services; A.H. Karp. Part VIII: Time. Behavior Expression and OMDD; Y. Wang. On a Temporal Logic for Object-Based Systems; D. Distefano, et al. Stochastically Enhanced Timed Automata; L. Blair, et al. Part IX: Components. Fail-Stop Components by Pattern Matching; T. Janowski, W.I. Mostowski. A Formal Specification of the CORBAEvent Service; R. Bastide, et al. Components as Processes: An Exercise in Coalgebraic Modeling; L.S. Barbosa.
Expand description
Seller Condition Comments Price  
Seller: Basi6 International
Location: Irving, TX
Condition: New
New, US edition. Satisfaction guaranteed! !
Price:
$58.60
Comments:
New, US edition. Satisfaction guaranteed! !
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$73.72
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$73.72
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).