Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Formal Techniques for Safety-Critical Systems
Cargando comentarios…
Comparte
$1,084
$976
Envío gratis siempre
Comentarios
Cargando el resumen…
Cargando comentarios…
product
4092051Formal Techniques for Safety-Critical Systemshttps://www.gandhi.com.mx/formal-techniques-for-safety-critical-systems-9783319539461/phttps://gandhi.vtexassets.com/arquivos/ids/2578895/3ba3914c-80d4-4ec5-8b22-50bc00ae94ff.jpg?v=6383841664108000009761084MXNSpringer International PublishingInStock/Ebooks/<p>This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.</p><p>The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.</p>...4029855Formal Techniques for Safety-Critical Systems9761084https://www.gandhi.com.mx/formal-techniques-for-safety-critical-systems-9783319539461/phttps://gandhi.vtexassets.com/arquivos/ids/2578895/3ba3914c-80d4-4ec5-8b22-50bc00ae94ff.jpg?v=638384166410800000InStockMXN99999DIEbook20179783319539461_W3siaWQiOiI3MzNjNWI3Ni0yZmFhLTRiYWQtODkzYy03N2EzZDAxMjkzZTAiLCJsaXN0UHJpY2UiOjEwODQsImRpc2NvdW50IjoxMDgsInNlbGxpbmdQcmljZSI6OTc2LCJpbmNsdWRlc1RheCI6dHJ1ZSwicHJpY2VUeXBlIjoiV2hvbGVzYWxlIiwiY3VycmVuY3kiOiJNWE4iLCJmcm9tIjoiMjAyNS0wOC0yMlQxODowMDowMFoiLCJ0byI6IjIwMjUtMDktMzBUMjM6NTk6NTlaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX0seyJpZCI6IjM0ZGU2MzQzLTI1NTEtNDdmNC1hN2NmLTU4Y2IwMjIwMTMyYSIsImxpc3RQcmljZSI6MTA4MiwiZGlzY291bnQiOjEwOCwic2VsbGluZ1ByaWNlIjo5NzQsImluY2x1ZGVzVGF4Ijp0cnVlLCJwcmljZVR5cGUiOiJXaG9sZXNhbGUiLCJjdXJyZW5jeSI6Ik1YTiIsImZyb20iOiIyMDI1LTEwLTAxVDAwOjAwOjAwWiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9XQ==9783319539461_<p>This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.</p><p>The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.</p>(*_*)9783319539461_<p>This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.</p><p>The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.</p>...9783319539461_Springer International Publishinglibro_electonico_52496543-712f-36c4-9488-09a4e1bead1c_9783319539461;9783319539461_9783319539461InglésMéxico2017-02-15T00:00:00+00:00Springer International Publishing