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

• Tác giả: Dirk Beyer, Marieke Huisman
• Ngôn ngữ: eng
• ISBN-13: 978-3319899602
• Thông tin xuất bản: Cham Springer Nature 2018
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 238387
• Chủ đề: 1. Computer science

Tóm tắt

 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