Omslagsbild

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Visa andra versioner (2)

computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification

Sparad:
Bibliografiska uppgifter
Övriga skapare: Beyer, Dirk (Utgivare, redaktör, sammanställare), Huisman, Marieke (Utgivare, redaktör, sammanställare)
Materialtyp: Elektronisk Bokavsnitt
Språk:engelska
Publicerad: Cham Springer Nature 2018
Serie:Theoretical Computer Science and General Issues
Ämnen:
Computer science
computer architecture
computer software selection and evaluation
formal logic
formal methods
model checker
model checking
multi core processors
program compilers
programming languages
semantics
software engineering
specifications
state space
verification
Länkar:DOAB: download the publication
DOAB: description of the publication
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Beskrivning
Sammanfattning:computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
ISBN:978-3-319-89963-3
9783319899633
Tillgång:Open Access

Liknande verk