Benutzerdefiniertes Cover
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
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science; Theoretical Computer Science and General IssuesVerlag: Cham : Springer Nature, 2020Beschreibung: 1 Online-Ressource (501 p.)ISBN:- 9783030451905
- Computers
- Computers, Special purpose
- Computer architecture
- Microprogramming
- Computer science
- Electronic digital computers
- Expert systems / knowledge-based systems
- Systems analysis & design
- Algorithms & data structures
- Mathematical theory of computation
- Ordinateurs
- Ordinateurs spécialisés
- Ordinateurs - Architecture
- Microprogrammation
- Informatique - Mathématiques
- computers
- Computer science - Mathematics
- Theory of Computation
- 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
- Maths for computer scientists
- 004.0151 23
- QA75.5-76.95
- QA76.63
Dieser Titel hat keine Exemplare
Open Access. Unrestricted online access star
Creative Commons by/4.0 cc
English