International Conference on Formal Methods for Open Object-Based Distributed Systems,, 4,
Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 / Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems ; ed. Scott F. Smith, Carolyn L. Talcott
Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 / Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems ; ed. Scott F. Smith, Carolyn L. Talcott . - Bosto : Kluwer Academic Publishers, cop. 2000 . - XII, 417 p. : il. 24 cm . - (International Federation for Information Processing; 49))
0-7923-7923-3 (Encadernado)
681.3.06
519.68
Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 / Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems ; ed. Scott F. Smith, Carolyn L. Talcott . - Bosto : Kluwer Academic Publishers, cop. 2000 . - XII, 417 p. : il. 24 cm . - (International Federation for Information Processing; 49))
0-7923-7923-3 (Encadernado)
681.3.06
519.68
