ISBN 9780792379232,Formal Methods for Open Object-Based Distributed Systems IV

Formal Methods for Open Object-Based Distributed Systems IV

Rs16973

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9780792379232
Check delivery information
 
ISBN 9780792379232
Publisher

Ingram Publisher Services

Publication Year 2000
ISBN-13

ISBN 9780792379232

ISBN-10 0792379233
Binding

Hardback

Number of Pages 429 Pages
Subject

Object-oriented programming (OOP)

Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.
Scroll