Knjižničarski pogled: Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino

Summary goes here

Shranjeno v:

Bibliografske podrobnosti
Format:	Knjiga
Jezik:	angleščina
Teme:	Software engineering. Machine theory. Artificial intelligence. Computer science. Computer simulation. Software Engineering. Formal Languages and Automata Theory. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Computer Modelling.
Oznake:	Označite Brez oznak, prvi označite!

era
format	Book
genre
geographic
id	b3bb2b5d-af29-4fde-b2db-cfd51e503bf4
isbn	9783030816889 (online)
issn
language	eng
physical
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 II / edited by Alexandra Silva, K. Rustan M. Leino
topic	Software engineering. Machine theory. Artificial intelligence. Computer science. Computer simulation. Software Engineering. Formal Languages and Automata Theory. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Computer Modelling.