Versões - Computer Aided Verification
Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
- Artificial intelligence 3
- Computer science 3
- Software Engineering 3
- Computer hardware 2
- Computer networking & communications 2
- Artificial Intelligence 1
- Computer Communication Networks 1
- Computer Engineering and Networks 1
- Computer Hardware 1
- Computer engineering 1
- Computer networks 1
- Computers 1
- Software engineering 1
- Theory of Computation 1
-
1
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Publicado em 2020Link to Metadata
Recurso Eletrônico livro eletrônico -
2
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Publicado em 2020DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
3
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Publicado em 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro