Fundamental Approaches to Software Engineering : 21st International Conference, FASE 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ả: Alessandra Russo, Andy Schürr
• Ngôn ngữ: eng
• ISBN-13: 978-3319893631
• Ký hiệu phân loại: 005.1 Programming
• 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: 236796
• Chủ đề: 1. Computer science

Tóm tắt

 computer software maintenance
  computer software selection and evaluation
  formal logic
  formal methods
  formal specification
  programming languages
  semantics
  software engineering
  specifications
  verification