Formal Description Techniques and Protocol Specification, Testing and Verificati
211,52 €
1 Specification-based testing of concurrent systems. - 7 Consistent semantics for ODP information and computational models. - 8 Specifying the ODP trader: an introduction to E-LOTOS. - 11 Disjunction of LOTOS specifications.
Jetzt bei Ebay: