A Logical Interface Description Language for Components

June 19, 2017 | Autor: Farhad Arbab | Categoría: Component-Based Software Engineering (CBSE), Formal Logic, Formal Model
Share Embed


Descripción

Lihat lebih banyak...

Comentarios

Copyright © 2017 DATOSPDF Inc.