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 /

• निगमित लेखक: SpringerLink (Online service)
• अन्य लेखक: Beyer, Dirk (संपादक), Huisman, Marieke (संपादक), Kordon, Fabrice (संपादक), Steffen, Bernhard (संपादक)
• स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
• भाषा: अंग्रेज़ी
• प्रकाशित: Cham : Springer International Publishing : Imprint: Springer, 2019.
• संस्करण: 1st ed. 2019.
• श्रृंखला: Theoretical Computer Science and General Issues, 11429
• विषय: 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.
• ऑनलाइन पहुंच: Link to Metadata

सारांश

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

भौतिक वर्णन

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

आईएसबीएन

9783030175023

आईएसएसएन

2512-2029 ;

डिजिटल ऑब्जेक्ट पहचानकर्ता

10.1007/978-3-030-17502-3

अभिगमन

Open Access