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...
Bewaard in:
| Formaat: | Online |
|---|---|
| Taal: | Engels |
| Gepubliceerd in: |
Springer Nature
2021
|
| Onderwerpen: | |
| Online toegang: | 1006828 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
| _version_ | 1869528780565905408 |
|---|---|
| collection | Directory of Open Access Books |
| 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. |
| format | Online |
| id | doab-20.500.12854ir-27642 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-276422025-07-21T15:58:01Z 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 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. 2021-02-10T13:16:06Z 2021-02-10T13:16:06Z 2020-03-18 13:36:15 2020-04-01T09:11:46Z 2019 book 1006828 1006828 OCN: 1096325925 http://library.oapen.org/handle/20.500.12657/23327 https://directory.doabooks.org/handle/20.500.12854/27642 eng Lecture Notes in Computer Science open access image/jpeg image/jpeg image/jpeg n/a n/a n/a https://library.oapen.org/bitstream/20.500.12657/23327/1/1006828.pdf https://library.oapen.org/bitstream/20.500.12657/23327/1/1006828.pdf https://library.oapen.org/bitstream/20.500.12657/23327/1/1006828.pdf Springer Nature 10.1007/978-3-030-17502-3 10.1007/978-3-030-17502-3 9fa3421d-f917-4153-b9ab-fc337c396b5a Nederlandse Organisatie voor Wetenschappelijk Onderzoek Dutch Research Council (NWO) 258 open access |
| spellingShingle | 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 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 Tools and Algorithms for the Construction and Analysis of Systems |
| title | Tools and Algorithms for the Construction and Analysis of Systems |
| title_full | Tools and Algorithms for the Construction and Analysis of Systems |
| title_fullStr | Tools and Algorithms for the Construction and Analysis of Systems |
| title_full_unstemmed | Tools and Algorithms for the Construction and Analysis of Systems |
| title_short | Tools and Algorithms for the Construction and Analysis of Systems |
| title_sort | tools and algorithms for the construction and analysis of systems |
| topic | 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 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 |
| topic_facet | 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 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 |
| url | 1006828 |