Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Formal Methods: Foundations and Applications
Cargando comentarios…
Comparte
$1,192
$1,073
Envío gratis siempre
Comentarios
Cargando el resumen…
Cargando comentarios…
product
2525728Formal Methods: Foundations and Applicationshttps://www.gandhi.com.mx/formal-methods-foundations-and-applications-9783030921378/phttps://gandhi.vtexassets.com/arquivos/ids/2125545/1f4b9dfd-704f-43c8-8365-70ce1a84fcc7.jpg?v=63838354404163000010731192MXNSpringer International PublishingInStock/Ebooks/<p>This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.<br />The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area</p>...2461799Formal Methods: Foundations and Applications10731192https://www.gandhi.com.mx/formal-methods-foundations-and-applications-9783030921378/phttps://gandhi.vtexassets.com/arquivos/ids/2125545/1f4b9dfd-704f-43c8-8365-70ce1a84fcc7.jpg?v=638383544041630000InStockMXN99999DIEbook20219783030921378_W3siaWQiOiIzZmVlMGY3My1mMDIyLTQ0YjktYTJhMC1kZDI2ZmViMDdhZWQiLCJsaXN0UHJpY2UiOjExNDEsImRpc2NvdW50IjoxMTQsInNlbGxpbmdQcmljZSI6MTAyNywiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjQtMTEtMTlUMDc6MDA6MDBaIiwidG8iOiIyMDI0LTExLTMwVDIzOjU5OjU5WiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9LHsiaWQiOiI1YmE2N2M3OC1hYWY3LTRmMjEtOWM1Yy05ZjliZGZlMzExMWMiLCJsaXN0UHJpY2UiOjExODcsImRpc2NvdW50IjoxMTksInNlbGxpbmdQcmljZSI6MTA2OCwiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjQtMTItMDFUMDA6MDA6MDBaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX1d9783030921378_<p>This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.<br />The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area</p>(*_*)9783030921378_<p>This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.<br />The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area</p>...9783030921378_Springer International Publishinglibro_electonico_45c6380f-baef-3713-a0d8-e1c5c950e270_9783030921378;9783030921378_9783030921378InglésMéxico2021-11-25T00:00:00+00:00Springer International Publishing