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

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

Show other versions (1)

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

Saved in:
Bibliographic Details
Other Authors: Beyer, Dirk (Editor), Huisman, Marieke (Editor)
Format: Electronic Book Chapter
Language:English
Published: Cham Springer Nature 2018
Series:Theoretical Computer Science and General Issues 10806
Subjects:
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
Online Access:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available

Similar Items