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 /

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 /

Show other versions (2)

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

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Beyer, Dirk (Editor), Huisman, Marieke (Editor), Kordon, Fabrice (Editor), Steffen, Bernhard (Editor)
Format: Electronic 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.
Online Access:Link to Metadata
Tags: Add Tag
No Tags, Be the first to tag this record!
Show all versions (3)

Similar Items