Cover Image
QR Code

Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as...

Full description

Main Authors: Dirk Beyer, Marieke Huisman
Format: Book
Published: Springer International Publishing 2018
Subjects:
Software engineering
Computer logic
Computer science
Computer organization
Computers
Online Access:View this record in EBSCOhost