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 /

• Müşterek Yazar: SpringerLink (Online service)
• Diğer Yazarlar: Beyer, Dirk (Editör), Huisman, Marieke (Editör), Kordon, Fabrice (Editör), Steffen, Bernhard (Editör)
• Materyal Türü: Elektronik Ekitap
• Dil: İngilizce
• Baskı/Yayın Bilgisi: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edisyon: 1st ed. 2019.
• Seri Bilgileri: Theoretical Computer Science and General Issues, 11429
• Konular: Computer science.; Software engineering.; Machine theory.; Computers.; Professions.; Electronic digital computers > Evaluation.; Computer simulation.; Computer Science Logic and Foundations of Programming.; Software Engineering.; Formal Languages and Automata Theory.; The Computing Profession.; System Performance and Evaluation.; Computer Modelling.
• Online Erişim: Link to Metadata

Özet

This book is Open Access under a CC BY licence. .

Fiziksel Özellikler

XXVII, 258 p. 449 illus., 25 illus. in color. online resource.

ISBN

9783030175023

ISSN

2512-2029 ;

DOI

10.1007/978-3-030-17502-3

Erişim

Open Access