UNIMARC/MARC: Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang

Summary goes here

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	angličtina
Témata:	Software engineering. Computer science. Artificial intelligence. Computer engineering. Computer networks . Computers. Software Engineering. Theory of Computation. Artificial Intelligence. Computer Engineering and Networks. Computer Hardware. Computer Science.
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

era
format	Book
genre
geographic
id	7663da5a-950b-43f7-936b-2be133c4e8be
isbn	9783030532918 (online)
issn
language	eng
physical
publication	– publisher: Springer International Publishing dateOfPublication: 2020
publishDate	2020
subjects
title	Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang
topic	Software engineering. Computer science. Artificial intelligence. Computer engineering. Computer networks . Computers. Software Engineering. Theory of Computation. Artificial Intelligence. Computer Engineering and Networks. Computer Hardware. Computer Science.