Algebraic Methods II: Theory, Tools and Applications: Theory, Tools, and Applica
66,70 €
Olderog, and H.A. Partsch. - Using transformations to verify parallel programs. - Experiences with combining formalisms in VVSL. - Where can I get gas round here?. - Transformations of designs. - Norman's database modularised in COLD-K.
Jetzt bei Ebay:
