Formal Methods for Open Object-based Distributed Systems - Volume 2 (Hardcover, 1997 ed.)

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.

General

Imprint:	Chapman and Hall
Country of origin:	United Kingdom
Series:	IFIP Advances in Information and Communication Technology
Release date:	June 1997
First published:	1997
Editors:	Howard Bowman • John Derrick
Dimensions:	235 x 155 x 26mm (L x W x T)
Format:	Hardcover
Pages:	470
Edition:	1997 ed.
ISBN-13:	978-0-412-82040-3
Categories:	Books > Computing & IT > Computer programming > Object-oriented programming (OOP) Books > Computing & IT > Computer communications & networking > General
LSN:	0-412-82040-4
Barcode:	9780412820403

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!