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 II /

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. 10806.
Subjects:	Computer Science. Computer Hardware. Computer Systems Organization and Communication Networks. Computing Methodologies. Computing Milieux. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Computer input-output equipment. Computer logic. Computer organization. Computer science. Computers. 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, 465 pages 92 illustrations)
ISBN:	9783319899633
ISSN:	0302-9743 ;
DOI:	10.1007/978-3-319-89963-3
Access:	Open Access