Strukturelle Kraft in Internationalen Beziehungen || Outside Option als der Angelpunkt der strukturellen Kraft am Beispiel von Chinas Engagement in Subsahara-Afrika
- 作者Pustovitovskij, Andrej
- 文件大小1616.76KB
- 发表时间2016
- DOI10.1007/978-3-658-12693-3_5
- 页码163-226
[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Process Refinement in BTreharne, Helen; King, Steve; Henson, Martin; Schneider, Steve · 2005
[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Formal Program Development with ApproximationsTreharne, Helen; King, Steve; Henson, Martin; Schneider, Steve · 2005
[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Refinement and Reachability in Event_BTreharne, Helen; King, Steve; Henson, Martin; Schneider, Steve · 2005
[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Model Checking Z Specifications Using SALTreharne, Helen; King, Steve; Henson, Martin; Schneider, Steve · 2005
[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Checking JML Specifications with B MachinesTreharne, Helen; King, Steve; Henson, Martin; Schneider, Steve · 2005
[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || CZT: A Framework for Z ToolsTreharne, Helen; King, Steve; Henson, Martin; Schneider, Steve · 2005
[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Visualising Larger State Spaces in Pro BTreharne, Helen; King, Steve; Henson, Martin; Schneider, Steve · 2005
[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || A Prospective-Value Semantics for the GSLTreharne, Helen; King, Steve; Henson, Martin; Schneider, Steve · 2005