Normal view MARC view

Fisher, Michael (Personal Name)

Number of records used in: 1
Preferred form: Fisher, Michael

Machine generated authority record.

Work cat.: (OSt)4437: Fisher, Michael , Introduction to Practical Formal Methods Using Temporal Logic, 2011

© Copyright Shiv Nadar University 2012. All Rights Reserved.  Disclaimer |  Sitemap
The Shiv Nadar University has been established under U.P. Act No 12 of 2011. Shiv Nadar University is UGC Approved.