Language:

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

ISBN: 9783319899602 ;ISBN: 3319899600 ;ISBN: 3319899597 ;ISBN: 9783319899596 ;EISBN: 9783319899602 ;EISBN: 3319899600 ;DOI: 10.1007/978-3-319-89960-2 ;OCLC: OCN: 1031399644 ;OCLC: 1031399644 ;OCLC: 1066192266

Full text available

Citations Cited by

Actions
1. Add to My Research
2. Remove from My Research
3. E-mail
4. Print
5. Permalink
6. Citation
7. EasyBib
8. EndNote
9. RefWorks
10. Delicious
11. Export RIS
12. Export BibTeX

Title:
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
Author: Beyer, Dirk ; Huisman, Marieke
Huisman, Marieke ; Beyer, Dirk
Subjects: authentication ; Computer science ; computer software selection and evaluation ; Computing and Information Technology ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security systems ; semantics ; separation logic ; software engineering ; thema EDItEUR ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; verification ; world wide web
Description: authentication; 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
Related Titles: Theoretical Computer Science and General Issues
Publisher: Cham: Springer Nature
Creation Date: 2018
Format: 439
Language: English
Identifier: ISBN: 9783319899602
ISBN: 3319899600
ISBN: 3319899597
ISBN: 9783319899596
EISBN: 9783319899602
EISBN: 3319899600
DOI: 10.1007/978-3-319-89960-2
OCLC: OCN: 1031399644
OCLC: 1031399644
OCLC: 1066192266
Source: OAPEN
DOAB: Directory of Open Access Books

Back to results list


INSPIRE LIBRARY - TON DUC THANG UNIVERSITY	(84-028) 37 755 057	Feedback
19 Nguyen Huu Tho St. Dist.7, HCM	thuvien@tdtu.edu.vn	Feedback

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

ISBN: 9783319899602 ;ISBN: 3319899600 ;ISBN: 3319899597 ;ISBN: 9783319899596 ;EISBN: 9783319899602 ;EISBN: 3319899600 ;DOI: 10.1007/978-3-319-89960-2 ;OCLC: OCN: 1031399644 ;OCLC: 1031399644 ;OCLC: 1066192266

Searching Remote Databases, Please Wait