Search Results for Communication and technology - Narrowed by: Electronic data processing - Smith, Scott F SirsiDynix Enterprise https://eps.ntu.edu.sg/client/en_GB/OPAC/OPAC/qu$003dCommunication$002band$002btechnology$0026qf$003dSUBJECT$002509Subject$002509Electronic$002bdata$002bprocessing.$002509Electronic$002bdata$002bprocessing$0026qf$003dAUTHOR$002509Author$002509Smith$00252C$002bScott$002bF.$002509Smith$00252C$002bScott$002bF$0026ps$003d300?dt=list 2019-10-19T02:16:03Z eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1176344 2019-10-19T02:16:03Z 2019-10-19T02:16:03Z Formal Methods for Open Object-Based Distributed Systems IV [electronic resource] : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6&ndash;8, 2000, Stanford, California, USA<br/>by&#160;Smith, Scott F.&#160;Talcott, Carolyn L.&#160;SpringerLink (Online service)<br/>Published&#160;2000.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-0-387-35520-7">e-book</a><br/>