Formal Methods for Open Object-Based Distributed Systems
Subtitle: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Martin Steffen (Editor); Gianluigi Zavattaro (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 9, 2005
Language: eng
Format: Paperback
Number of pages: 323
ISBN-13: 9783540261810
Subjects: Computing and Information Technology; Programming - Software Development; Computers; Computers - Communications / Networking; Computer Books: General; Programming Languages - Java; Networking - General; Computers / Networking / General; UML; distributed component frameworks; distributed systems; formal methods; formal security analysis; Programming - General; Congresses; Congráes; Distributed processing; Electronic data processing; Mâethodes formelles (Informatique); Object-oriented programming (Computer science)