Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /

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)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Series:	Lecture notes in computer science. 10805.
Subjects:	Computer Science. Computing Milieux. Data Structures, Cryptology and Information Theory. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. System Performance and Evaluation. Computer logic. Computer science. Computer system failures. Computers. Data structures (Computer science) Software engineering. 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. .
Item Description:	Electronic resource.
Physical Description:	1 online resource (XX, 429 pages 93 illustrations)
ISBN:	9783319899602
ISSN:	0302-9743 ;
DOI:	10.1007/978-3-319-89960-2
Access:	Open Access