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...

Celý popis

Uloženo v:

Podrobná bibliografie
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2020
Edice:	Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!