Formal Methods For Open Object-Based Distributed Systems

Editor: PaoloCiancarini

Kluwer Academic Publishers Group (Netherlands), 1999
Hardback, 452 pages
Size: 234x156 mm
ISBN: 9780792384298
ISBN-10: 0792384296

Our price: £143.00

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Formal Methods For Open Object-Based Distributed Systems

Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.

Related links:

Paolo Ciancarini
Object-oriented programming (OOP)
Computer programming
Computing and information technology
Kluwer Academic Publishers Group

More information from Wikipedia:

Paolo Ciancarini
© 2006-2008 Eruditor Ltd and its partners

Search

Whole catalogue
Photography & photographs

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z