Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer Nature 2020
Schriftenreihe:	Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Schlagworte:	abstraction techniques for modeling and verification Algorithms & data structures Algorithms and data structures architecting Artificial intelligence automata theory compositional and refinement-based methodologies Computer programming / software engineering Computer science Computer System Implementation Computing and Information Technology Control Structures and Microprogramming embedded systems Expert systems / knowledge-based systems linguistics Mathematical theory of computation mathematics Mathematics of Computing Maths for computer scientists model checking open access SAT and SMT solving software and hardware verification software architecture software design software engineering Special Purpose and Application-Based Systems specification and verification techniques static and dynamic program analysis system construction and transformation techniques Systems analysis & design Systems analysis and design testing theorem proving Theory of Computation tool environments and tool architectures
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!