Title: Formal methods for open object-based distributed systems IV
First published: 2000
Subjects: Congresses, Electronic data processing, Distributed processing, Object-oriented programming (Computer science), Electronic data processing, distributed processing, Object-oriented programming (computer science)
LC classification: QA76.9.D5 I573 2000