| spelling |
oapen-20.500.12657-233272024-03-22T19:23:42Z Tools and Algorithms for the Construction and Analysis of Systems Beyer, Dirk Huisman, Marieke Kordon, Fabrice Steffen, Bernhard 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 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 European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS. 2020-03-18 13:36:15 2020-04-01T09:11:46Z 2020-04-01T09:11:46Z 2019 book 1006828 http://library.oapen.org/handle/20.500.12657/23327 eng Lecture Notes in Computer Science application/pdf n/a 1006828.pdf https://www.springer.com/9783030175023 Springer Nature 10.1007/978-3-030-17502-3 10.1007/978-3-030-17502-3 6c6992af-b843-4f46-859c-f6e9998e40d5 da087c60-8432-4f58-b2dd-747fc1a60025 Dutch Research Council (NWO) 258 628.010.006 639.021.754 BetterBe B.V. Veni Nederlandse Organisatie voor Wetenschappelijk Onderzoek Netherlands Organisation for Scientific Research open access
|
| description |
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 European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.
|
