Formal Methods for Open Object-Based Distributed Systems (IFIP International Federation for Information Processing)

Published in February 28, 1999, Springer

Formal Methods for Open Object-Based Distributed Systems (IFIP Intern ...

Change Cover

Contributions:	Paolo Ciancarini (Editor), Alessandro Fantechi (Editor), Roberto Gorrieri (Editor)
Language:	English
Edition:	1st edition
Format:	Hardcover
Dimensions:	8.7 x 6.7 x 1.2 inches
Weight:	1.9 pounds
ISBN 10:	0792384296
ISBN 13:	9780792384298
Subject:	Object-oriented programming (OOP) Management Information Systems Congresses Object-oriented programming (Computer science) Distributed Computer Systems Formal Language Theory Computers Computers - Languages / Programming Computer Books: Web Programming Electronic data processing Operating Systems - General Programming - Object Oriented Programming Computers / Computer Architecture Computers / Programming / Object Oriented Computers-Operating Systems - General Object-oriented programming (Computer science Computer Bks - Languages / Programming Object-oriented programming (C Distributed processing