Image from Amazon.com
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / edited by Roberto Gorrieri, Heike Wehrheim.
Series: Lecture Notes in Computer Science ; 4037Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Description: x, 266 p. : ill., digital ; 24 cmISBN:- 9783540348955 (electronic bk.)
- Electronic data processing -- Distributed processing -- Congresses
- Object-oriented programming (Computer science) -- Congresses
- Computer Science
- Computer Communication Networks
- Logics and Meanings of Programs
- Operating Systems
- Programming Languages, Compilers, Interpreters
- Programming Techniques
- Software Engineering
- 005.117 22
- QA76.9.D5 I573 2006
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.