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
Material type:
ArticleLanguage: English Publication details: Cham Springer Nature 2018ISBN: - 978-3-319-89960-2
- 9783319899602
- Computer science
- 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
| Item type | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Electronic-Books
|
OPJGU Sonepat- Campus | E-Books Open Access | Available |
Open Access star Unrestricted online access
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
Creative Commons https://creativecommons.org/licenses/by/4.0/ cc https://creativecommons.org/licenses/by/4.0/
English
There are no comments on this title.