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 /

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

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Beyer, Dirk (Editor), Huisman, Marieke (Editor), Kordon, Fabrice (Editor), Steffen, Bernhard (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Theoretical Computer Science and General Issues, 11429
Subjects:	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. 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 (XXVII, 258 pages 449 illustrations, 25 illustrations in color)
ISBN:	9783030175023
ISSN:	2512-2029 ;
DOI:	10.1007/978-3-030-17502-3
Access:	Open Access