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 /

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

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Vojnar, Tomáš (Editor), Zhang, Lijun (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Theoretical Computer Science and General Issues, 11427
Subjects:	Computer science. Machine theory. Software engineering. Artificial intelligence. Electronic digital computers-Evaluation. Computers. Professions. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Software Engineering. Artificial Intelligence. System Performance and Evaluation. The Computing Profession. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online