Custom cover image
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 II
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science; Theoretical Computer Science and General IssuesPublisher: Cham : Springer Nature, 2020Description: 1 Online-Ressource (425 p.)ISBN:- 9783030452377
- Software Engineering
- Expert systems / knowledge-based systems
- Systems analysis & design
- Algorithms & data structures
- Mathematical theory of computation
- Software Engineering/Programming and Operating Systems
- Special Purpose and Application-Based Systems
- Computer System Implementation
- Control Structures and Microprogramming
- Mathematics of Computing
- open access
- specification and verification techniques
- software and hardware verification
- SAT and SMT solving
- theorem proving
- model checking
- static and dynamic program analysis
- testing
- system construction and transformation techniques
- tool environments and tool architectures
- abstraction techniques for modeling and verification
- compositional and refinement-based methodologies
- mathematics
- software engineering
- software design
- architecting
- software architecture
- embedded systems
- automata theory
- linguistics
- Operating systems
- Maths for computer scientists
No physical items for this record
Open Access. Unrestricted online access star
Creative Commons by/4.0 cc
English