Model variables: cleanly supporting abstraction in design by contract

June 2, 2017 | Autor: Gary Leavens | Categoría: Documentation, Formal methods, Java Modeling Language, Design-by-Contract
Share Embed


Descripción

Lihat lebih banyak...

Comentarios

Copyright © 2017 DATOSPDF Inc.