Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, proceedings /

Bibliographic Details
Format: Book
Language:English
Published: c2014.
Online Access:Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)

Internet

Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)

Sistema de Bibliotecas de Universidad de Costa Rica

Holdings details from Sistema de Bibliotecas de Universidad de Costa Rica
Copy Available