€149.79
विषयसूची
Insight, Inspiration and Collaboration.- From CSP to Game Semantics.- On Mereologies in Computing Science.- Roles, Stacks, Histories: A Triple for Hoare.- Forward with Hoare.- Probabilistic Programming with Coordination.- The Operational Principle and Problem Frames.- The Role of Auxiliary Variables in the Formal Development of Concurrent Programs.- Avoid a Void: The Eradication of Null Dereferencing.- Unfolding CSP.- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.- The Thousand-and-One Cryptographers.- On Process-Algebraic Extensions of Metric Temporal Logic.- Fun with Type Functions.- On CSP and the Algebraic Theory of Effects.- CSP is Expressive Enough for ?.- The Tokeneer Experiments.
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● पेज 430 ● ISBN 9781848829121 ● फाइल का आकार 3.8 MB ● संपादक Cliff B. Jones & A.W. Roscoe ● प्रकाशक Springer London ● शहर London ● देश GB ● प्रकाशित 2010 ● डाउनलोड करने योग्य 24 महीने ● मुद्रा EUR ● आईडी 2152033 ● कॉपी सुरक्षा सामाजिक DRM
एक ही लेखक से अधिक ईबुक / संपादक
850 इस श्रेणी में ईबुक
