Formal Methods for Components and Objects

Saved in:
Bibliographic Details
Main Authors: Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Format: Book
Language:English
Published: Springer Berlin Heidelberg 2020
Subjects:
Online Access:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81999
Tags: Add Tag
No Tags, Be the first to tag this record!
Institutions: Thư viện Trường Đại học Đà Lạt

Similar Items