Program Development by Specification and Transformation: The PROSPECTRA Methodol
121,90 €
Algebraic specification. - Distributed systems. - PAnndA-S reference manual. - Semantics of PAnndA-S. - PAnndA reference manual. - PAnndA standard types and predefined type schemata. - TrafoLa-S reference manual.
Jetzt bei Ebay: