6 treff

Dewey-nr: 005.1015113
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II /
edited by Tomáš Vojnar, Lijun Zhang.
Bok Engelsk 2019 · Vis mer
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
edited by Dirk Beyer, Marieke Huisman, Fa...
Bok Engelsk 2019 · Vis mer
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /
edited by Christel Baier, Ugo Dal Lago.
Bok Engelsk 2018 · Vis mer
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /
edited by Dirk Beyer, Marieke Huisman.
Bok Engelsk 2018 · Vis mer
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
TACAS (Conference)
Bok Engelsk 2018 · Vis mer
Logic in computer science : modelling and reasoning about systems
Michael Huth, Mark Ryan
Bok Engelsk 2004 · Vis mer