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

Description
Summary:	This book is Open Access under a CC BY licence. .
Physical Description:	1 online resource (XXIII, 433 pages 1251 illustrations, 61 illustrations in color)
ISBN:	9783030174620
ISSN:	2512-2029 ;
DOI:	10.1007/978-3-030-17462-0
Access:	Open Access