Formal Methods for Components and Objects

Salvato in:
Dettagli Bibliografici
Autori principali: Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Natura: Libro
Lingua:English
Pubblicazione: Springer Berlin Heidelberg 2020
Soggetti:
Accesso online:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81999
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt