Actualizando

Computer Aided Verification

Arie Gurfinkel & Vijay Ganesh

Estreno: 2024-07-24

Gratis 0%

Gratis 0%

Estreno: 2024-07-24

New

n.° 63 en Top libros gratis > Informática e Internet > Software

Descripción

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.

Apple Books: Valoraciones de clientes

Valoraciones y reseñas

0,0 de 5 (Sin valoración)

Apple Books: Reseñas de clientes

Ninguna entrada

A la venta en iTunes. Los precios de los productos y la disponibilidad son exactas a partir del 15/6/2026 23:40:17 y están sujetos a cambios. Cualquier precio y disponibilidad de la información que aparece en iTunes en el momento de la compra se aplicarán a la compra de este producto. Apple, el logotipo de Apple, Apple Music, iPad, iPhone, iPod, iPod touch, iTunes, iTunes Store, iTunes U, Mac y OS X son marcas comerciales de Apple Inc. registradas en EE. UU. y otros países. Apple Books, App Store y Mac App Store son marcas de servicio de Apple Inc. IOS es una marca comercial o marca comercial registrada de Cisco en EE. UU. y otros países y se utiliza bajo licencia. QR Code es una marca comercial registrada de Denso Wave Incorporated. Todas las demás marcas comerciales, logotipos y derechos de autor son propiedad de sus respectivos dueños.