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 /
Formato: | Libro |
---|---|
Lenguaje: | English |
Publicado: |
c2014.
|
Acceso en línea: | 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) |
Ejemplares similares
-
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 /
Publicado: (2014) -
Computer aided verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
Publicado: (2018) -
Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, july 19-22, 2014. Proceedings /
Publicado: (2014) -
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, july 18-24, 2015, Proceedings /
Publicado: (2015) -
Computer aided verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Publicado: (2010)