Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

• Tác giả: Christel Baier, Ugo Dal Lago
• Ngôn ngữ: eng
• ISBN-13: 978-3319893662
• 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: 236775
• Chủ đề: 1. Computer science

Tóm tắt

 artificial intelligence
  computer software
  selection and evaluation
  formal logic
  graph theory
  modal logic
  petri nets
  program compilers
  programming language
  semantics
  separation logic
  software engineering
  theorem proving
  type systems
  verification