Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Computer Aided Verification
Cargando comentarios…
Comparte
$0
Envío gratis siempre
Comentarios
Cargando el resumen…
Cargando comentarios…
product
7656448Computer Aided Verificationhttps://www.gandhi.com.mx/computer-aided-verification-9783031986826/phttps://gandhi.vtexassets.com/arquivos/ids/7283543/image.jpg?v=638888502044830000MXNSpringer Nature SwitzerlandInStock/Ebooks/<p>This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.</p><p>The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions.</p><p>The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.</p>...7264065Computer Aided Verification00https://www.gandhi.com.mx/computer-aided-verification-9783031986826/phttps://gandhi.vtexassets.com/arquivos/ids/7283543/image.jpg?v=638888502044830000InStockMXN99999DIEbook20259783031986826_W3siaWQiOiJkMjRiMTM4ZS01MTM1LTQzNTQtYjZhMi0wNGQ3ZDMyMzBlZDgiLCJsaXN0UHJpY2UiOjAsImRpc2NvdW50IjowLCJzZWxsaW5nUHJpY2UiOjAsImluY2x1ZGVzVGF4Ijp0cnVlLCJwcmljZVR5cGUiOiJXaG9sZXNhbGUiLCJjdXJyZW5jeSI6Ik1YTiIsImZyb20iOiIyMDI1LTA3LTIzVDA1OjAwOjAwWiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9XQ==9783031986826_<p>This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.</p><p>The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions.</p><p>The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.</p>...9783031986826_Springer Nature Switzerlandlibro_electonico_9783031986826_9783031986826InglésMéxico2025-07-22T00:00:00+00:00Springer Nature Switzerland