( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
AGILE: Software Architecture for Mobility.

, , , , , , , , , , , , , , , , , , , , , , , , и . WADT, том 2755 из Lecture Notes in Computer Science, стр. 1-33. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Elena Hoffman

Krzysztof Hoffman

Judith Hoffman

Max Hoffman

Uwe Hoffman

 

Другие публикации лиц с тем же именем

Union of Equational Theories: An Algebraic Approach.. RTA, том 3467 из Lecture Notes in Computer Science, стр. 61-73. Springer, (2005)Semantics of Architectural Specifications in CASL., , , , и . FASE, том 2029 из Lecture Notes in Computer Science, стр. 253-268. Springer, (2001)Checking Amalgamability Conditions for C ASL Architectural Specifications., , , , и . MFCS, том 2136 из Lecture Notes in Computer Science, стр. 451-463. Springer, (2001)CASL Logic, , , и . CASL Reference Manual, том 2960 из Lecture Notes in Computer Science, глава ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)Amalgamation in the semantics of CASL, , , , и . Theoretical Computer Science, 331 (1): 215-247 (2005)Semantics of Architectural Specifications in CASL, , , , и . Fundamental Approaches to Software Engineering, том 2029 из Lecture Notes in Computer Science, стр. 253--268. Springer; Berlin; http://www.springer.de, (2001)Reachability in Unions of Commutative Rewriting Systems Is Decidable., и . STACS, том 4393 из Lecture Notes in Computer Science, стр. 622-633. Springer, (2007)Verifying Architectural Specifications.. WADT, том 2267 из Lecture Notes in Computer Science, стр. 152-175. Springer, (2001)Amalgamation in the semantics of CASL., , , , и . Theor. Comput. Sci., 331 (1): 215-247 (2005)Checking amalgamability conditions for CASL architectural specifications, , , , и . Mathematical Foundations of Computer Science, том 2136 из Lecture Notes in Computer Science, стр. 512--523. Springer; Berlin; http://www.springer.de, (2001)