Fisher, Michael An Introduction to Practical Formal Methods Using Temporal Logic 2011 - John Wiley et Sons Ltd.
Fisher, Michael An Introduction to Practical Formal Methods Using Temporal Logic 2011 - John Wiley et Sons Ltd. 650453 characters. Información ISBN: 9781119991465 Permalink: http://digital.casalini.it/9781119991465 MATERIAS Ingeniería militar y náutica Military Engineering, Air Forces, Military Astronautics