Probabilistic contracts for component-based design

June 1, 2017 | Autor: Alain Girault | Categoría: Distributed Computing, Composition, Computer Software, Refinement, Component
Share Embed


Descripción

Lihat lebih banyak...

Comentarios

Copyright © 2017 DATOSPDF Inc.