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...

Fuld beskrivelse

Bibliografiske detaljer

Format:	Online
Sprog:	engelsk
Udgivet:	Springer Nature 2021
Fag:	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
Online adgang:	1006827
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!