Electrical

Formal Methods for Open Object-Based Distributed Systems: Volume 2

Name: Formal Methods for Open Object-Based Distributed Systems: Volume 2
Brand: Springer
SKU: 9780412820403
Price: 22703.00 INR
Availability: InStock
ISBN: 9780412820403

FORMAL METHODS FOR OPEN OBJECT

Contributor(s): Bowman, Howard Editor , Derrick, John Editor Format: Hardback

Hardback · ISBN 9780412820403

₹22,703 2%

₹23,219

Inclusive of GST and other taxes

100% Quality Assurance

No Account Creation Required

Fast Delivery

Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN	9780412820403
Subtitle	FORMAL METHODS FOR OPEN OBJECT
Publisher	Springer
Publication date	June 1997
Language	English
MRP	£179.99 GBP
Page count	488
Item weight	189 g

This book presents the leading edge in several related fields, specifically object orientated 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. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.

Formal Methods for Open Object-Based Distributed Systems: Volume 2

Key Specifications

Bowman, Howard Editor

Derrick, John Editor

Related titles