Afficher la notice abrégée

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 I

dc.contributor.editorBeyer, Dirk
dc.contributor.editorHuisman, Marieke
dc.date.accessioned2021-02-10T12:58:18Z
dc.date.issued2018
dc.date.submitted2018-11-01 23:55:55
dc.date.submitted2020-03-18 13:36:15
dc.date.submitted2020-04-01T12:00:27Z
dc.identifier1002305
dc.identifierOCN: 1031399644
dc.identifierhttp://library.oapen.org/handle/20.500.12657/27701
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/26681
dc.description.abstractauthentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering; verification; world wide web
dc.languageEnglish
dc.relation.ispartofseriesTheoretical Computer Science and General Issues
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
dc.subject.otherauthentication
dc.subject.othercomputer science
dc.subject.othercomputer software selection and evaluation
dc.subject.othercryptography
dc.subject.otherdata privacy
dc.subject.otherformal logic
dc.subject.otherformal methods
dc.subject.otherformal specification
dc.subject.otherinternet
dc.subject.otherprivacy
dc.subject.otherprogram compilers
dc.subject.otherprogramming languages
dc.subject.othersecurity systems
dc.subject.othersemantics
dc.subject.otherseparation logic
dc.subject.othersoftware engineering
dc.subject.otherverification
dc.subject.otherworld wide web
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science
dc.titleTools 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 I
dc.typebook
oapen.identifier.doi10.1007/978-3-319-89960-2
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783319899602
oapen.place.publicationCham
dc.seriesnumber10805


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access