Normal view MARC view

International School on Formal Methods for the Design of Computer, Communication and Software Systems. (11th : 2011 : Bertinoro, Italy ) (Meeting Name)

Preferred form: International School on Formal Methods for the Design of Computer, Communication and Software Systems. (11th : 2011 : Bertinoro, Italy )

Machine generated authority record.

Work cat.: ()945819: Formal Methods for Eternal Networked Software Systems, 2011.

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India