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 I

• Diğer Yazarlar: Vojnar, Tomáš (Editör), Zhang, Lijun (Editör)
• Materyal Türü: Elektronik Kitap Bölümü
• Dil: İngilizce
• Baskı/Yayın Bilgisi: Springer Nature 2019
• Seri Bilgileri: Lecture Notes in Computer Science
• Konular: Information technology: general issues; Computer programming / software development; Software Engineering; Mathematical theory of computation; Systems analysis & design; Artificial intelligence; Computer science; Computer logic; Mathematical logic; Software engineering; Computer system failures; Computers
• Online Erişim: OAPEN Library: download the publication; OAPEN Library: description of the publication