Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Formal Methods: Foundations and Applications
Cargando comentarios…
Comparte
$1,191
$1,072
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=63838354404163000010721191MXNSpringer 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 Applications10721191https://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_W3siaWQiOiIzOGEwNjFjZS0wOWUxLTRhMjAtODEzOS1jNzM5MjlmYmVkYTUiLCJsaXN0UHJpY2UiOjExOTIsImRpc2NvdW50IjoxMTksInNlbGxpbmdQcmljZSI6MTA3MywiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjUtMDktMDhUMDk6MDA6MDBaIiwidG8iOiIyMDI1LTA5LTMwVDIzOjU5OjU5WiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9LHsiaWQiOiIwMDcxYTUwYy0yYjBhLTQ0OTctOGMwYi04MjFhMWU0ZDU1MWYiLCJsaXN0UHJpY2UiOjExOTEsImRpc2NvdW50IjoxMTksInNlbGxpbmdQcmljZSI6MTA3MiwiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjUtMTAtMDFUMDA6MDA6MDBaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX1d9783030921378_<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