Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of 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 as part of the...

Deskribapen osoa

Xehetasun bibliografikoak

Formatua:	Online
Hizkuntza:	ingelesa
Argitaratua:	Springer Nature 2021
Gaiak:	Computer science Computer logic Software engineering Mathematical logic Computers Computer system failures Computer simulation thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 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::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
Sarrera elektronikoa:	1006828
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!