Cargando…
Contracts for system design
Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.
| Autores principales: | , , , , , , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Now Publishers
2018
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2761887 |