Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /

This book is Open Access under a CC BY licence.

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Baier, Christel (Editor), Dal Lago, Ugo (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Series:	Lecture notes in computer science. 10803.
Subjects:	Computer Science. Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. System Performance and Evaluation. The Computing Profession. Artificial intelligence. Computer logic. Computer science > Mathematics. Computer science. Computer system failures. 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 (XV, 583 pages 75 illustrations)
ISBN:	9783319893662
ISSN:	0302-9743 ;
DOI:	10.1007/978-3-319-89366-2
Access:	Open Access