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

 0 Người đánh giá. Xếp hạng trung bình 0

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

Mô tả vật lý:

Bộ sưu tập: Tài liệu truy cập mở

ID: 236796

 computer software maintenance
  computer software selection and evaluation
  formal logic
  formal methods
  formal specification
  programming languages
  semantics
  software engineering
  specifications
  verification
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH