Visualització del personal: Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. [electronic resource] :

Summary goes here

Guardat en:

Dades bibliogràfiques
Format:	Llibre
Idioma:	anglès
Matèries:	Software engineering. Artificial intelligence. Computer science. Machine theory. Computer simulation. Software Engineering. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Computer Modelling.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

era
format	Book
genre
geographic
id	b3bb2b5d-af29-4fde-b2db-cfd51e503bf4
isbn	9783030816858
issn
language	eng
physical	XXIV, 922 p. 287 illus., 171 illus. in color.online resource.
publication	– publisher: Springer International Publishing dateOfPublication: 2021
publishDate	2021
subjects
title	Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. [electronic resource] :
topic	Software engineering. Artificial intelligence. Computer science. Machine theory. Computer simulation. Software Engineering. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Computer Modelling.