Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


Serie m´´as popular en Estados Unidos

1 - 3 de 3 resultados para “eva darulova”
Skip side bar filters

  • Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

    Edición de Eva Darulova, Anthony W. Lin, Philipp Rümmer ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Leer más

    Gratis

  • Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

    Edición de Eva Darulova, Anthony W. Lin, Philipp Rümmer ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Leer más

    Gratis

  • Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III

    Edición de Eva Darulova, Anthony W. Lin, Philipp Rümmer ...
    Series Libro 3 - Springer Nature Proceedings Computer Science
    This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Leer más

    Gratis