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

• Kolejni autorzy: Beyer, Dirk (Redaktor), Huisman, Marieke (Redaktor), Kordon, Fabrice (Redaktor), Steffen, Bernhard (Redaktor)
• Format: Elektroniczne Rozdział
• Język: angielski
• Wydane: Springer Nature 2019
• Seria: Lecture Notes in Computer Science
• Hasła przedmiotowe: Information technology: general issues; Computer programming / software development; Software Engineering; Mathematical theory of computation; Systems analysis & design; Computer modelling & simulation; Computer science; Computer logic; Software engineering; Mathematical logic; Computers; Computer system failures; Computer simulation
• Dostęp online: DOAB: download the publication; DOAB: description of the publication