Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Argitaratua izan da:Lecture Notes in Computer Science
Egile korporatiboa: Vojnar, Tomáš, Zhang, Lijun
Formatua: Livro
Hizkuntza:Inglês
Argitaratua: Springer Nature 2019
Gaiak:
Computer science
Computer logic
Software engineering
Mathematical logic
Algorithms
Logic design
Artificial intelligence
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
Sarrera elektronikoa:https://directory.doabooks.org/handle/20.500.12854/27821
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak