10 treff

logics and meanings of programs
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 : 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
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
Generic model management : concepts and algorithms
Sergey Melnik
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
edited by Hans De Nivelle.
Bok Engelsk 2015 · Vis mer
Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Wilfried Brauer ... [et al.] (eds.)
Bok Engelsk 2002 · Vis mer
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
edited by Isil Dillig, Serdar Tasiran.
Bok Engelsk 2019 · Vis mer
Answer Set Programming
Lifschitz, Vladimir.
Bok Engelsk 2019 · Vis mer